home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / ast_comp / toplas.ref < prev    next >
Text File  |  1993-07-04  |  64KB  |  2,861 lines
  1. %Z
  2. %Z TOPLAS articles, excluding editorials, corrections and untitled
  3. %Z technical correspondence. 
  4. %Z
  5. %Z please send corrections to preston at cs.rice.edu
  6. %Z
  7. %Z Converted to refer format - sharad mehrotra - s-mehrotra@uiuc.edu
  8. %Z Notes: i) Manual checking of the conversion has not been done -
  9. %Z           titles and other fields could still contain LaTeX commands.
  10. %Z      ii)The "Month" information for each entry has been lost during
  11. %Z          the conversion process
  12. %Z
  13.  
  14. %T  Backtracking in a Generalized Control Setting
  15. %A  Gary Lindstrom
  16. %J  ACM Trans. on Programming Languages and Systems
  17. %D  1979
  18. %V  1
  19. %P  8--26
  20.    
  21. %T  Programming by Refinement, as Exemplified by the SETL
  22.     Representation Sublanguage
  23. %A  Robert B. K. Dewar
  24. %A  Arthur Grand
  25. %A  Ssu-Cheng Liu
  26. %A  Jacob T. Schwartz
  27. %A  Edmond Schonberg
  28. %J  ACM Trans. on Programming Languages and Systems
  29. %D  1979
  30. %V  1
  31. %P  27--49
  32.    
  33. %T  The Compilation of Loop Induction Expressions
  34. %A  Richard L. Sites
  35. %J  ACM Trans. on Programming Languages and Systems
  36. %D  1979
  37. %V  1
  38. %P  50--57
  39.    
  40. %T  Incremental Parsing
  41. %A  Carlo Ghezzi
  42. %A  Dino Mandrioli
  43. %J  ACM Trans. on Programming Languages and Systems
  44. %D  1979
  45. %V  1
  46. %P  48--70
  47.    
  48. %T  Code Generation and Storage Allocation for Machines with
  49.     Span-Dependent Instructions
  50. %A  Edward L. Robertson
  51. %J  ACM Trans. on Programming Languages and Systems
  52. %D  1979
  53. %V  1
  54. %P  71--83
  55.    
  56. %T  A New Approach to Proving the Correctness of Multiprocess Programs
  57. %A  Leslie Lamport
  58. %J  ACM Trans. on Programming Languages and Systems
  59. %D  1979
  60. %V  1
  61. %P  84--97
  62.    
  63. %T  A Hierarchial Approach to Formal Semantics With Application
  64.     to the Definition of PL/CS
  65. %A  Robert L. Constable
  66. %A  James E. Donahue
  67. %J  ACM Trans. on Programming Languages and Systems
  68. %D  1979
  69. %V  1
  70. %P  98--114
  71.    
  72. %T  Morris's Garbage Compaction Algorithm Restores Reference Counts
  73. %A  David S. Wise
  74. %J  ACM Trans. on Programming Languages and Systems
  75. %D  1979
  76. %V  1
  77. %P  115--120
  78.    
  79. %T  A Fast Algorithm for Finding Dominators in a Flowgraph
  80. %A  Thomas Lengauer
  81. %A  Robert Endre Tarjan
  82. %J  ACM Trans. on Programming Languages and Systems
  83. %D  1979
  84. %V  1
  85. %P  121--141
  86.    
  87. %T  A Deterministic Attribute Grammar Evaluator Based on Dynamic
  88.     Scheduling
  89. %A  Ken Kennedy
  90. %A  Jayashree Ramanathan
  91. %J  ACM Trans. on Programming Languages and Systems
  92. %D  1979
  93. %V  1
  94. %P  142--160
  95.    
  96. %T  Operators
  97. %A  Kenneth E. Iverson
  98. %J  ACM Trans. on Programming Languages and Systems
  99. %D  1979
  100. %V  1
  101. %P  161-176
  102.    
  103. %T  A Language for Array and Vector Processors
  104. %A  R. H. Perrott
  105. %J  ACM Trans. on Programming Languages and Systems
  106. %D  1979
  107. %V  1
  108. %P  177-195
  109.    
  110. %T  Use of a Nonprocedural Specification Language and Associated
  111.     Program Generator in Software Development
  112. %A  N. S. Prywes
  113. %A  Amir Pnueli
  114. %A  S. Shastry
  115. %J  ACM Trans. on Programming Languages and Systems
  116. %D  1979
  117. %V  1
  118. %P  196--217
  119.    
  120. %T  Comments on ``Communicating Sequential Processes''
  121. %A  Richard B. Kieburtz
  122. %A  Abraham Silberschatz
  123. %J  ACM Trans. on Programming Languages and Systems
  124. %D  1979
  125. %V  1
  126. %P  218--225
  127.    
  128. %T  Verification of Array, Record, and Pointer Operations in Pascal
  129. %A  David C. Luckham
  130. %A  Norihisa Suzuki
  131. %J  ACM Trans. on Programming Languages and Systems
  132. %D  1979
  133. %V  1
  134. %P  226--244
  135.    
  136. %T  Simplification by Cooperating Decision Procedures
  137. %A  Greg Nelson
  138. %A  Derek C. Oppen
  139. %J  ACM Trans. on Programming Languages and Systems
  140. %D  1979
  141. %V  1
  142. %P  245--257
  143.    
  144. %T  Is Sometimes Ever Better Than Alway?
  145. %A  David Gries
  146. %J  ACM Trans. on Programming Languages and Systems
  147. %D  1979
  148. %V  1
  149. %P  258--265
  150.    
  151. %T  Compact Encodings of List Structure
  152. %A  Daniel G. Bobrow
  153. %A  Douglas W. Clark
  154. %J  ACM Trans. on Programming Languages and Systems
  155. %D  1979
  156. %V  1
  157. %P  266--286
  158.    
  159. %T  A Space Efficient Dynamic Allocation Algorithm for Queuing Messages
  160. %A  Eric Beyer
  161. %A  Peter Buneman
  162. %J  ACM Trans. on Programming Languages and Systems
  163. %D  1979
  164. %V  1
  165. %P  287--294
  166.    
  167. %T  Noncanonical SLR(1) Grammars
  168. %A  Kou-Chung Tai
  169. %J  ACM Trans. on Programming Languages and Systems
  170. %D  1979
  171. %V  1
  172. %P  295--320
  173.    
  174. %T  And/Or Programs: A New Approach to Structured Programming
  175. %A  David Harel
  176. %J  ACM Trans. on Programming Languages and Systems
  177. %D  1980
  178. %V  2
  179. %P  1--17
  180.    
  181. %T  Global Context Recovery: A New Strategy for Syntactic Error
  182.     Recovery by Table-Drive Parsers
  183. %A  Ajit B. Pai
  184. %A  Richard B. Kieburtz
  185. %J  ACM Trans. on Programming Languages and Systems
  186. %D  1980
  187. %V  2
  188. %P  18--41
  189.    
  190. %T  Distributed Termination
  191. %A  Nissim Francez
  192. %J  ACM Trans. on Programming Languages and Systems
  193. %D  1980
  194. %V  2
  195. %P  42--55
  196.    
  197. %T  An Axiomatic Approach to Information Flow in Programs
  198. %A  Gregory R. Andrews
  199. %A  Richard P. Reitman
  200. %J  ACM Trans. on Programming Languages and Systems
  201. %D  1980
  202. %V  2
  203. %P  56--76
  204.    
  205. %T  On the Performance of Balanced Hashing Functions When the
  206.     Keys Are Not Equiprobable
  207. %A  Christos H. Papadimitriou
  208. %A  Philip A. Bernstein
  209. %J  ACM Trans. on Programming Languages and Systems
  210. %D  1980
  211. %V  2
  212. %P  77--89
  213.    
  214. %T  A Deductive Approach to Program Synthesis
  215. %A  Zohar Manna
  216. %A  Richard Waldinger
  217. %J  ACM Trans. on Programming Languages and Systems
  218. %D  1980
  219. %V  2
  220. %P  90--121
  221.    
  222. %T  Uniform Random Generation of Balanced Parenthesis Strings
  223. %A  D. B. Arnold
  224. %A  M. R. Sleep
  225. %J  ACM Trans. on Programming Languages and Systems
  226. %D  1980
  227. %V  2
  228. %P  122--128
  229.    
  230. %T  A Note on Median Split Trees
  231. %A  Douglas Comer
  232. %J  ACM Trans. on Programming Languages and Systems
  233. %D  1980
  234. %V  2
  235. %P  129--133
  236.    
  237. %T  External Representations of Objects of User-Defined Type
  238. %A  Peter J. L. Wallis
  239. %J  ACM Trans. on Programming Languages and Systems
  240. %D  1980
  241. %V  2
  242. %P  137--152
  243.    
  244. %T  An Alternative to the Use of Patterns in String Processing
  245. %A  Ralph E. Griswold
  246. %A  David R. Hanson
  247. %J  ACM Trans. on Programming Languages and Systems
  248. %D  1980
  249. %V  2
  250. %P  153--172
  251.    
  252. %T  Automatic Derivation of Code Generators from Machine Descriptions
  253. %A  R. G. G. Cattell
  254. %J  ACM Trans. on Programming Languages and Systems
  255. %D  1980
  256. %V  2
  257. %P  173--190
  258.    
  259. %T  The Design and Application of a Retargetable Peephole Optimizer
  260. %A  Jack W. Davidson
  261. %A  Christopher W. Fraser
  262. %J  ACM Trans. on Programming Languages and Systems
  263. %D  1980
  264. %V  2
  265. %P  191--202
  266.    
  267. %T  On Parsing and Compiling Arithmetic Expressions on Vector Computers
  268. %A  Charles N. Fischer
  269. %J  ACM Trans. on Programming Languages and Systems
  270. %D  1980
  271. %V  2
  272. %P  203--224
  273.    
  274. %T  Ada Exception Handling: An Axiomatic Approach
  275. %A  David C. Luckham
  276. %A  W. Polak
  277. %J  ACM Trans. on Programming Languages and Systems
  278. %D  1980
  279. %V  2
  280. %P  225--233
  281.    
  282. %T  Output Guards and Nondeterminism in ``Communicating
  283.     Sequential Processes''
  284. %A  Arthur Bernstein
  285. %J  ACM Trans. on Programming Languages and Systems
  286. %D  1980
  287. %V  2
  288. %P  234--238
  289.    
  290. %T  Design of a Machine-Independent Optimizing System for
  291.     Emulator Development
  292. %A  Perng-Ti Ma
  293. %A  T. G. Lewis
  294. %J  ACM Trans. on Programming Languages and Systems
  295. %D  1980
  296. %V  2
  297. %P  239--262
  298.    
  299. %T  Managing Reentrant Structures Using Reference Counts
  300. %A  Daniel G. Bobrow
  301. %J  ACM Trans. on Programming Languages and Systems
  302. %D  1980
  303. %V  2
  304. %P  269--273
  305.    
  306. %T  Chaining Span-Dependent Jump Instructions
  307. %A  Bruce Leverett
  308. %A  Thomas G. Szymanski
  309. %J  ACM Trans. on Programming Languages and Systems
  310. %D  1980
  311. %V  2
  312. %P  274--289
  313.    
  314. %T  A Coroutine Approach to Parsing
  315. %A  Hanan Samet
  316. %J  ACM Trans. on Programming Languages and Systems
  317. %D  1980
  318. %V  2
  319. %P  290--306
  320.    
  321. %T  Applicability of Software Validation Techniques to Scientific
  322.     Programs
  323. %A  W. E. Howden
  324. %J  ACM Trans. on Programming Languages and Systems
  325. %D  1980
  326. %V  2
  327. %P  307--320
  328.    
  329. %T  Derivation of Invariant Assertions During Program Development
  330.     by Transformation
  331. %A  Manfred Broy
  332. %A  Bernd Krieg-Br\uckner
  333. %J  ACM Trans. on Programming Languages and Systems
  334. %D  1980
  335. %V  2
  336. %P  321--337
  337.    
  338. %T  Synthesis of Resource Invariants for Concurrent Programs
  339. %A  Clarke, Jr., Edmund Melson
  340. %J  ACM Trans. on Programming Languages and Systems
  341. %D  1980
  342. %V  2
  343. %P  338--358
  344.    
  345. %T  A Proof System for Communicating Sequential Processes
  346. %A  Krzysztof R. Apt
  347. %A  Nissim Francez
  348. %A  Willem P. de Roever
  349. %J  ACM Trans. on Programming Languages and Systems
  350. %D  1980
  351. %V  2
  352. %P  359--385
  353.    
  354. %T  A Formal System for Reasoning about Programs Accessing a
  355.     Relational Database
  356. %A  Marco R. Casanova
  357. %A  Phillip A. Bernstein
  358. %J  ACM Trans. on Programming Languages and Systems
  359. %D  1980
  360. %V  2
  361. %P  386--414
  362.    
  363. %T  An Improved Context-Free Recognizer
  364. %A  Susan L. Graham
  365. %A  Michael A. Harrison
  366. %A  Walter L. Ruzzo
  367. %J  ACM Trans. on Programming Languages and Systems
  368. %D  1980
  369. %V  2
  370. %P  415--462
  371.    
  372. %T  Prettyprinting
  373. %A  Dereck C. Oppen
  374. %J  ACM Trans. on Programming Languages and Systems
  375. %D  1980
  376. %V  2
  377. %P  465--483
  378.    
  379. %T  Ultracomputers
  380. %A  Jacob T. Schwartz
  381. %J  ACM Trans. on Programming Languages and Systems
  382. %D  1980
  383. %V  2
  384. %P  484--521
  385.    
  386. %T  Specification of Abstract Data Types in Modula
  387. %A  George W. Ernst
  388. %A  William F. Ogden
  389. %J  ACM Trans. on Programming Languages and Systems
  390. %D  1980
  391. %V  2
  392. %P  522--543
  393.    
  394. %T  An Abstract Type for Statistics Collection in Simula
  395. %A  Carl E. Landwehr
  396. %J  ACM Trans. on Programming Languages and Systems
  397. %D  1980
  398. %V  2
  399. %P  544--563
  400.    
  401. %T  Assignment and Procedure Call Proof Rules
  402. %A  David Gries
  403. %A  Gary Levin
  404. %J  ACM Trans. on Programming Languages and Systems
  405. %D  1980
  406. %V  2
  407. %P  564--579
  408.    
  409. %T  The Activity of a Variable and Its Relation to Decision Trees
  410. %A  B. M. E. Moret
  411. %A  M. G. Thomason
  412. %A  R. C. Gonzalez
  413. %J  ACM Trans. on Programming Languages and Systems
  414. %D  1980
  415. %V  2
  416. %P  580--595
  417.    
  418. %T  A Statement-Oriented Approach to Data Abstraction
  419. %A  J. Steensgaard-Madsen
  420. %J  ACM Trans. on Programming Languages and Systems
  421. %D  1981
  422. %V  3
  423. %P  1--10
  424.    
  425. %T  A Multiprocessing Approach to Compile-Time Symbol Resolution
  426. %A  F. Andr\'e
  427. %A  J. P. Banatre
  428. %A  J. P. Routeau
  429. %J  ACM Trans. on Programming Languages and Systems
  430. %D  1981
  431. %V  3
  432. %P  11--23
  433.    
  434. %T  Compilation of Acyclic Smooth Programs for Parallel Execution
  435. %A  Otto C. Juelich
  436. %A  Clinton R. Foulk
  437. %J  ACM Trans. on Programming Languages and Systems
  438. %D  1981
  439. %V  3
  440. %P  24--48
  441.    
  442. %T  Deleting Irrelevant Tasks in an Expression-Oriented
  443.     Multiprocessor System
  444. %A  Dale H. Grit
  445. %A  Rex L. Page
  446. %J  ACM Trans. on Programming Languages and Systems
  447. %D  1981
  448. %V  3
  449. %P  49--59
  450.    
  451. %T  Methods for Computing LALR$(k)$ Lookahead
  452. %A  Bent Bruun Kristensen
  453. %A  Ole Lehrmann Madsen
  454. %J  ACM Trans. on Programming Languages and Systems
  455. %D  1981
  456. %V  3
  457. %P  60--82
  458.    
  459. %T  Handling Operator Precedence in Arithmetic Expressions with
  460.     Tree Transformations
  461. %A  Wilf R. LaLonde
  462. %A  Jim des Rivieres
  463. %J  ACM Trans. on Programming Languages and Systems
  464. %D  1981
  465. %V  3
  466. %P  83--103
  467.    
  468. %T  An Exercise in Program Explanation
  469. %A  Jayadev Misra
  470. %J  ACM Trans. on Programming Languages and Systems
  471. %D  1981
  472. %V  3
  473. %P  104--109
  474.    
  475. %T  Editing Data Structures
  476. %A  Christopher W. Fraser
  477. %A  A. A. Lopez
  478. %J  ACM Trans. on Programming Languages and Systems
  479. %D  1981
  480. %V  3
  481. %P  115--125
  482.    
  483. %T  An Automatic Technique for Selection of Data Structures in
  484.     SETL Programs
  485. %A  Edmond Schonberg
  486. %A  Jacob T. Schwartz
  487. %A  Micha Sharir
  488. %J  ACM Trans. on Programming Languages and Systems
  489. %D  1981
  490. %V  3
  491. %P  126--143
  492.    
  493. %T  Generators in Icon
  494. %A  Ralph E. Griswold
  495. %A  David R. Hanson
  496. %A  John T. Korb
  497. %J  ACM Trans. on Programming Languages and Systems
  498. %D  1981
  499. %V  3
  500. %P  144--161
  501.    
  502. %T  Algorithm 568. PDS -- A Portable Directory System
  503. %A  David R. Hanson
  504. %J  ACM Trans. on Programming Languages and Systems
  505. %D  1981
  506. %V  3
  507. %P  162--167
  508.    
  509. %T  The Construction of Stack-Controlling LR Parsers for
  510.     Regular Right Part Grammars
  511. %A  Wilf R. LaLonde
  512. %J  ACM Trans. on Programming Languages and Systems
  513. %D  1981
  514. %V  3
  515. %P  168--206
  516.    
  517. %T  Data-Abstraction Implementation, Specification, and Testing
  518. %A  John Gannon
  519. %A  Paul McMullin
  520. %A  Richard Hamlet
  521. %J  ACM Trans. on Programming Languages and Systems
  522. %D  1981
  523. %V  3
  524. %P  211--223
  525.    
  526. %T  Process Communication Based on Input Specifications
  527. %A  Jan van den Bos
  528. %A  Rinus Plasmeijer
  529. %A  Jan Stroet
  530. %J  ACM Trans. on Programming Languages and Systems
  531. %D  1981
  532. %V  3
  533. %P  224--250
  534.    
  535. %T  Associons: A Program Notation with Tuples Instead of Variables
  536. %A  Martin Rem
  537. %J  ACM Trans. on Programming Languages and Systems
  538. %D  1981
  539. %V  3
  540. %P  251--262
  541.    
  542. %T  Referencing and Retention in Block-Structured Coroutines
  543. %A  Gary Lindstrom
  544. %A  Mary Lou Soffa
  545. %J  ACM Trans. on Programming Languages and Systems
  546. %D  1981
  547. %V  3
  548. %P  263--292
  549.    
  550. %T  Nonsequentiality and Concrete Activity Phases in
  551.     Discrete-Event Simulation Languages
  552. %A  J. A. Barnden
  553. %J  ACM Trans. on Programming Languages and Systems
  554. %D  1981
  555. %V  3
  556. %P  293--317
  557.    
  558. %T  Locally Least-Cost Error Recovery in Early's Algorithm
  559. %A  S. O. Anderson
  560. %A  R. C. Backhouse
  561. %J  ACM Trans. on Programming Languages and Systems
  562. %D  1981
  563. %V  3
  564. %P  318--347
  565.    
  566. %T  The Programming Language Aspects of ThingLab, a
  567.     Constraint-Oriented Simulation Laboratory
  568. %A  Alan Borning
  569. %P  353--387
  570. %J  ACM Trans. on Programming Languages and Systems
  571. %D  1981
  572. %V  3
  573.    
  574. %T  Space-Efficient Storage Management in an Attribute Grammar Evaluator
  575. %A  Medhi Jazayeri
  576. %A  Diane Pozefsky
  577. %P  388--404
  578. %J  ACM Trans. on Programming Languages and Systems
  579. %D  1981
  580. %V  3
  581.    
  582. %T  Synchronizing Resources
  583. %A  Gregory R. Andrews
  584. %P  405--430
  585. %J  ACM Trans. on Programming Languages and Systems
  586. %D  1981
  587. %V  3
  588.    
  589. %T  Ten Years of Hoare's Logic: A Survey -- Part 1
  590. %A  Krzysztof R. Apt
  591. %P  431--483
  592. %J  ACM Trans. on Programming Languages and Systems
  593. %D  1981
  594. %V  3
  595.    
  596. %T  Specifying the Semantics of while Programs: A Tutorial and
  597.     Critique of a Paper by Hoare and Lauer
  598. %A  Irene Greif
  599. %A  Albert R. Meyer
  600. %P  484--507
  601. %J  ACM Trans. on Programming Languages and Systems
  602. %D  1981
  603. %V  3
  604.    
  605. %T  A Cost Model for the Internal Organization of B$^+$-Tree Nodes
  606. %A  Wilfred J. Hansen
  607. %P  508--532
  608. %J  ACM Trans. on Programming Languages and Systems
  609. %D  1981
  610. %V  3
  611.    
  612. %T  A System for Assisting Program Transformation
  613. %A  Martin S. Feather
  614. %P  1--20
  615. %J  ACM Trans. on Programming Languages and Systems
  616. %D  1982
  617. %V  4
  618.    
  619. %T  Using Peephole Optimization on Intermediate Code
  620. %A  Andrew S. Tanenbaum
  621. %A  Hans van Staveren
  622. %A  Johan W. Stevenson
  623. %P  21--36
  624. %J  ACM Trans. on Programming Languages and Systems
  625. %D  1982
  626. %V  4
  627.    
  628. %T  Termination Detection of Diffusing Computations in
  629.     Communicating Sequential Processes
  630. %A  Jayadev Misra
  631. %A  K. M. Chandy
  632. %P  37--43
  633. %J  ACM Trans. on Programming Languages and Systems
  634. %D  1982
  635. %V  4
  636.    
  637. %T  The VAL Language: Description and Analysis
  638. %A  James R. McGraw
  639. %P  44--82
  640. %J  ACM Trans. on Programming Languages and Systems
  641. %D  1982
  642. %V  4
  643.    
  644. %T  Programming with Equations
  645. %A  Christoph M. Hoffman
  646. %A  Michael J. O'Donnell
  647. %P  83--112
  648. %J  ACM Trans. on Programming Languages and Systems
  649. %D  1982
  650. %V  4
  651.    
  652. %T  A Flexible Notation for Syntactic Definitions
  653. %A  M. Howard Williams
  654. %P  113--119
  655. %J  ACM Trans. on Programming Languages and Systems
  656. %D  1982
  657. %V  4
  658.    
  659. %T  Synchronization in Distributed Programs
  660. %A  Fred B. Schneider
  661. %P  125--148
  662. %J  ACM Trans. on Programming Languages and Systems
  663. %D  1982
  664. %V  4
  665.    
  666. %T  An Introduction to S/SL: Syntax/Semantic Language
  667. %A  R. C. Holt
  668. %A  J. R. Cordy
  669. %A  D. B. Wortman
  670. %P  149--178
  671. %J  ACM Trans. on Programming Languages and Systems
  672. %D  1982
  673. %V  4
  674.    
  675. %T  Inessential Error Entries and Their Use in LR Parser Optimization
  676. %A  Eljas Soisalon-Soininen
  677. %P  179--195
  678. %J  ACM Trans. on Programming Languages and Systems
  679. %D  1982
  680. %V  4
  681.    
  682. %T  Some Observations Concerning Formal Differentiation of Set
  683.     Theoretic Expressions
  684. %A  Micha Sharir
  685. %P  196--225
  686. %J  ACM Trans. on Programming Languages and Systems
  687. %D  1982
  688. %V  4
  689.    
  690. %T  Error Data Values in the Data-Flow Language VAL
  691. %A  C. S. Wetherell
  692. %P  226--238
  693. %J  ACM Trans. on Programming Languages and Systems
  694. %D  1982
  695. %V  4
  696.    
  697. %T  High-Level Language Implications of the Proposed IEEE
  698.     Floating-Point Standard
  699. %A  Richard J. Fateman
  700. %P  239--257
  701. %J  ACM Trans. on Programming Languages and Systems
  702. %D  1982
  703. %V  4
  704.    
  705. %T  An Efficient Unification Algorithm
  706. %A  Alberto Martelli
  707. %A  Ugo Montari
  708. %P  258--282
  709. %J  ACM Trans. on Programming Languages and Systems
  710. %D  1982
  711. %V  4
  712.    
  713. %T  \bf R$_\!\!\!\mbox\raisebox.5ex\tiny /$ for Semantics
  714. %A  E. A. Ashcroft
  715. %A  W. W. Wadge
  716. %P  283--294
  717. %J  ACM Trans. on Programming Languages and Systems
  718. %D  1982
  719. %V  4
  720.    
  721. %T  Some Techniques for Recursion Removal from Recursive Programs
  722. %A  J. Arsac
  723. %A  Y. Kodratoff
  724. %P  295--322
  725. %J  ACM Trans. on Programming Languages and Systems
  726. %D  1982
  727. %V  4
  728.    
  729. %T  Symbolic Debugging of Optimized Code
  730. %A  John Hennessy
  731. %P  323--344
  732. %J  ACM Trans. on Programming Languages and Systems
  733. %D  1982
  734. %V  4
  735.    
  736. %T  Compact Storage of Binary Trees
  737. %A  Paolo Sipala
  738. %P  345--361
  739. %J  ACM Trans. on Programming Languages and Systems
  740. %D  1982
  741. %V  4
  742.    
  743. %T  Combining Algebraic and Algorithmic Reasoning: An Approach to
  744.     the Schorr-Waite Algorithm
  745. %A  Manfred Broy
  746. %A  Peter Pepper
  747. %P  362--381
  748. %J  ACM Trans. on Programming Languages and Systems
  749. %D  1982
  750. %V  4
  751.    
  752. %T  The Byzantine Generals Problem
  753. %A  Leslie Lamport
  754. %A  Robert Shostak
  755. %A  Marshall Pease
  756. %P  382--401
  757. %J  ACM Trans. on Programming Languages and Systems
  758. %D  1982
  759. %V  4
  760.    
  761. %T  Finite Differencing of Computable Expressions
  762. %A  Robert Paige
  763. %A  Shaye Koenig
  764. %P  402--454
  765. %J  ACM Trans. on Programming Languages and Systems
  766. %D  1982
  767. %V  4
  768.    
  769. %T  Proving Liveness Properties of Concurrent Programs
  770. %A  Susan Owicki
  771. %A  Leslie Lamport
  772. %P  455--495
  773. %J  ACM Trans. on Programming Languages and Systems
  774. %D  1982
  775. %V  4
  776.    
  777. %T  Deriving Target Code as a Representation of Continuation Semantics
  778. %A  Mitchell Wand
  779. %P  496--517
  780. %J  ACM Trans. on Programming Languages and Systems
  781. %D  1982
  782. %V  4
  783.    
  784. %T  A Value Transmission Method for Abstract Data Types
  785. %A  Maurice Herlihy
  786. %A  Barbara Liskov
  787. %P  527--551
  788. %J  ACM Trans. on Programming Languages and Systems
  789. %D  1982
  790. %V  4
  791.    
  792. %T  A Model for Implementing Euclid Modules and Prototypes
  793. %A  Richard C. Holt
  794. %A  David B. Wortman
  795. %P  552--562
  796. %J  ACM Trans. on Programming Languages and Systems
  797. %D  1982
  798. %V  4
  799.    
  800. %T  The Evaluation of Expressions in Icon
  801. %A  Ralph E. Griswold
  802. %P  563--584
  803. %J  ACM Trans. on Programming Languages and Systems
  804. %D  1982
  805. %V  4
  806.    
  807. %T  A Structured APL System
  808. %A  J. Bergeron
  809. %A  A. Dubuque
  810. %P  585--600
  811. %J  ACM Trans. on Programming Languages and Systems
  812. %D  1982
  813. %V  4
  814.    
  815. %T  A One-Pass Algorithm for Overload Resolution in Ada
  816. %A  T. P. Baker
  817. %P  601--614
  818. %J  ACM Trans. on Programming Languages and Systems
  819. %D  1982
  820. %V  4
  821.    
  822. %T  Efficient Computation of LALR(1) Look-Ahead Sets
  823. %A  Frank DeRemer
  824. %A  Thomas Pennello
  825. %P  615--649
  826. %J  ACM Trans. on Programming Languages and Systems
  827. %D  1982
  828. %V  4
  829.    
  830. %T  Transformational Derivation of a Garbage Collection Algorithm
  831. %A  Robert B. K. Dewar
  832. %A  Micha Sharir
  833. %A  Elia Weixelbaum
  834. %P  650--667
  835. %J  ACM Trans. on Programming Languages and Systems
  836. %D  1982
  837. %V  4
  838.    
  839. %T  A Weaker Precondition for Loops
  840. %A  H. J. Boom
  841. %P  668--677
  842. %J  ACM Trans. on Programming Languages and Systems
  843. %D  1982
  844. %V  4
  845.    
  846. %T  A Distributed Graph Algorithm: Knot Detection
  847. %A  Jayadev Misra
  848. %A  K. M. Chandy
  849. %P  678--686
  850. %J  ACM Trans. on Programming Languages and Systems
  851. %D  1982
  852. %V  4
  853.    
  854. %T  Formal Specification of Graphic Data Types
  855. %A  William R. Mallgren
  856. %P  687--710
  857. %J  ACM Trans. on Programming Languages and Systems
  858. %D  1982
  859. %V  4
  860.    
  861. %T  Data Type Specification: Parameterization and the Power of
  862.     Specification Techniques
  863. %A  J. W. Thatcher
  864. %A  E. G. Wagner
  865. %A  J. B. Wright
  866. %P  711--732
  867. %J  ACM Trans. on Programming Languages and Systems
  868. %D  1982
  869. %V  4
  870.    
  871. %T  On the Development of the Algebra of Functional Programs
  872. %A  John H. Williams
  873. %P  733--757
  874. %J  ACM Trans. on Programming Languages and Systems
  875. %D  1982
  876. %V  4
  877.    
  878. %T  An O$(n\log n)$ Unidirectional Algorithm for the Circular
  879.     Extrema Problemg
  880. %A  Gary L. Peterson
  881. %P  758--762
  882. %J  ACM Trans. on Programming Languages and Systems
  883. %D  1982
  884. %V  4
  885.    
  886. %T  On the Construction of Submodule Specifications and
  887.     Communication Protocolsg
  888. %A  Philip Merlin
  889. %A  Gregor V. Bochmann
  890. %P  1--25
  891. %J  ACM Trans. on Programming Languages and Systems
  892. %D  1983
  893. %V  5
  894.    
  895. %T  Experience with the SETL Optimizer
  896. %A  Stefan M. Freudenberger
  897. %A  Jacob T. Schwartz
  898. %A  Micha Sharir
  899. %P  26--45
  900. %J  ACM Trans. on Programming Languages and Systems
  901. %D  1983
  902. %V  5
  903.    
  904. %T  Concurrent Reading While Writing
  905. %A  Gary L. Peterson
  906. %P  46--55
  907. %J  ACM Trans. on Programming Languages and Systems
  908. %D  1983
  909. %V  5
  910.    
  911. %T  A New Solution to Lamport's Concurrent Programming Problem
  912.     Using Small Shared Variablesg
  913. %A  Gary L. Peterson
  914. %P  56--65
  915. %J  ACM Trans. on Programming Languages and Systems
  916. %D  1983
  917. %V  5
  918.    
  919. %T  A Distributed Algorithm for Minimum-Weight Spanning Trees
  920. %A  R. G. Gallager
  921. %A  P. A. Humblet
  922. %A  P. M. Spira
  923. %P  66--77
  924. %J  ACM Trans. on Programming Languages and Systems
  925. %D  1983
  926. %V  5
  927.    
  928. %T  Access-Right Expressions
  929. %A  Richard B. Kieburtz
  930. %A  Abraham Silberschatz
  931. %P  78--96
  932. %J  ACM Trans. on Programming Languages and Systems
  933. %D  1983
  934. %V  5
  935.    
  936. %T  Final Data Types and Their Specification
  937. %A  Samuel Kamin
  938. %P  97--123
  939. %J  ACM Trans. on Programming Languages and Systems
  940. %D  1983
  941. %V  5
  942.    
  943. %T  Generation of Compiler Symbol Processing Mechanisms
  944. %A  Steven P. Reiss
  945. %P  127--163
  946. %J  ACM Trans. on Programming Languages and Systems
  947. %D  1983
  948. %V  5
  949.    
  950. %T  Basic Techniques for the Efficient Coordination of Very Large
  951.     Numbers of Cooperating Sequential Processorsg
  952. %A  Allan Gottlieb
  953. %A  Boris D. Lubachevsky
  954. %A  Larry Rudolph
  955. %P  164--189
  956. %J  ACM Trans. on Programming Languages and Systems
  957. %D  1983
  958. %V  5
  959.    
  960. %T  Specifying Concurrent Program Modules
  961. %A  Leslie Lamport
  962. %P  190--222
  963. %J  ACM Trans. on Programming Languages and Systems
  964. %D  1983
  965. %V  5
  966.    
  967. %T  An Effective Implementation for the Generalized Input-Output
  968.     Construct of CSPg
  969. %A  G. N. Buckley
  970. %A  Abraham Silberschatz
  971. %P  223--235
  972. %J  ACM Trans. on Programming Languages and Systems
  973. %D  1983
  974. %V  5
  975.    
  976. %T  Automatic Program Improvement: Variable Usage Transformations
  977. %A  B. Maher
  978. %A  D. H. Sleeman
  979. %P  236--264
  980. %J  ACM Trans. on Programming Languages and Systems
  981. %D  1983
  982. %V  5
  983.    
  984. %T  Eliminating Redundant Recursive Calls
  985. %A  Norman H. Cohen
  986. %P  265--299
  987. %J  ACM Trans. on Programming Languages and Systems
  988. %D  1983
  989. %V  5
  990.    
  991. %T  Parallel Generation of Postfix and Tree Forms
  992. %A  Eliezer Dekel
  993. %A  Sartaj Sahni
  994. %P  300--317
  995. %J  ACM Trans. on Programming Languages and Systems
  996. %D  1983
  997. %V  5
  998.    
  999. %T  Parameterized Specifications: Parameter Passing and
  1000.     Implementation with Respect to Observabilityg
  1001. %A  Harald Gazinger
  1002. %P  318--354
  1003. %J  ACM Trans. on Programming Languages and Systems
  1004. %D  1983
  1005. %V  5
  1006.    
  1007. %T  Termination of Probabilistic Concurrent Program
  1008. %A  Sergiu Hart
  1009. %A  Micha Sharir
  1010. %A  Amir Pnueli
  1011. %P  356--380
  1012. %J  ACM Trans. on Programming Languages and Systems
  1013. %D  1983
  1014. %V  5
  1015.    
  1016. %T  Guardians and Actions: Linguistic Support for Robust
  1017.     Distributed Programsg
  1018. %A  Barbara Liskov
  1019. %A  Robert Scheifler
  1020. %P  381--404
  1021. %J  ACM Trans. on Programming Languages and Systems
  1022. %D  1983
  1023. %V  5
  1024.    
  1025. %T  VLSI Layout as Programming
  1026. %A  Richard J. Lipton
  1027. %A  Jacobo Valdes
  1028. %A  Gopalakrishnan Vijayen
  1029. %A  Stephen C. Notth
  1030. %A  Robert Sedgewick
  1031. %P  405--421
  1032. %J  ACM Trans. on Programming Languages and Systems
  1033. %D  1983
  1034. %V  5
  1035.    
  1036. %T  Postpass Code Optimization of Pipeline Constraints
  1037. %A  John Hennessy
  1038. %A  Thomas Gross
  1039. %P  422--448
  1040. %J  ACM Trans. on Programming Languages and Systems
  1041. %D  1983
  1042. %V  5
  1043.    
  1044. %T  Incremental Context-Dependent Analysis for Language-Based Editors
  1045. %A  Thomas Reps
  1046. %A  Tim Teitelbaum
  1047. %A  Alan Demers
  1048. %P  449--477
  1049. %J  ACM Trans. on Programming Languages and Systems
  1050. %D  1983
  1051. %V  5
  1052.    
  1053. %T  A Formal Framework for the Derivation of Machine-Specific Optimizers
  1054. %A  Robert Giegerich
  1055. %P  478--498
  1056. %J  ACM Trans. on Programming Languages and Systems
  1057. %D  1983
  1058. %V  5
  1059.    
  1060. %T  User Format Control in a Lisp Prettyprinter
  1061. %A  Richard C. Waters
  1062. %P  513--531
  1063. %J  ACM Trans. on Programming Languages and Systems
  1064. %D  1983
  1065. %V  5
  1066.    
  1067. %T  Comparison of Compacting Algorithms for Garbage Collection
  1068. %A  Jacques Cohen
  1069. %A  Alexandru Nicolau
  1070. %P  532--553
  1071. %J  ACM Trans. on Programming Languages and Systems
  1072. %D  1983
  1073. %V  5
  1074.    
  1075. %T  Control Flow Aspects of Semantics-Directed Compiling
  1076. %A  Ravi Sethi
  1077. %P  554--595
  1078. %J  ACM Trans. on Programming Languages and Systems
  1079. %D  1983
  1080. %V  5
  1081.    
  1082. %T  Tentative Steps Toward a Development Method for Interfering Programs
  1083. %A  C. B. Jones
  1084. %P  596--619
  1085. %J  ACM Trans. on Programming Languages and Systems
  1086. %D  1983
  1087. %V  5
  1088.    
  1089. %T  Correctness Proofs of Communicating Processes: Three
  1090.     Illustrative Examples from the Literatureg
  1091. %A  Marty Ossefort
  1092. %P  620--640
  1093. %J  ACM Trans. on Programming Languages and Systems
  1094. %D  1983
  1095. %V  5
  1096.    
  1097. %T  Assessing Test Data Adequacy through Program Inference
  1098. %A  Elaine J. Weyuker
  1099. %P  641--655
  1100. %J  ACM Trans. on Programming Languages and Systems
  1101. %D  1983
  1102. %V  5
  1103.    
  1104. %T  A Syntax-Error-Handling Technique and Its Experimental Analysis
  1105. %A  Seppo Sippu
  1106. %A  Eljas Soisalon-Soininen
  1107. %P  656--679
  1108. %J  ACM Trans. on Programming Languages and Systems
  1109. %D  1983
  1110. %V  5
  1111.    
  1112. %T  User Recovery and Reversal in Interactive Systems
  1113. %A  Archer, Jr., James E.
  1114. %A  Richard Conway
  1115. %A  Fred B. Schneider
  1116. %P  1--19
  1117. %J  ACM Trans. on Programming Languages and Systems
  1118. %D  1984
  1119. %V  6
  1120.    
  1121. %T  Grammar-Based Definition of Metaprogramming Systems
  1122. %A  Robert D. Cameron
  1123. %A  M. Robert Ito
  1124. %P  20--54
  1125. %J  ACM Trans. on Programming Languages and Systems
  1126. %D  1984
  1127. %V  6
  1128.    
  1129. %T  Recursion As an Effective Step in Program Development
  1130. %A  L. Colussi
  1131. %P  55--67
  1132. %J  ACM Trans. on Programming Languages and Systems
  1133. %D  1984
  1134. %V  6
  1135.    
  1136. %T  Synthesis of Communicating Processes from Temporal Logic
  1137.     Specificationsg
  1138. %A  Zohar Manna
  1139. %A  Pierre Wolper
  1140. %P  68--93
  1141. %J  ACM Trans. on Programming Languages and Systems
  1142. %D  1984
  1143. %V  6
  1144.    
  1145. %T  The Type Theory of PL/CV3
  1146. %A  Robert L. Constable
  1147. %A  Daniel R. Zlatin
  1148. %P  94--117
  1149. %J  ACM Trans. on Programming Languages and Systems
  1150. %D  1984
  1151. %V  6
  1152.    
  1153. %T  Tailored-List and Recombination-Delaying Buddy Systems
  1154. %A  Arie Kaufman
  1155. %P  118--125
  1156. %J  ACM Trans. on Programming Languages and Systems
  1157. %D  1984
  1158. %V  6
  1159.    
  1160. %T  Encapsulation Constructs in Systems Programming Languages
  1161. %A  William F. Applelbe
  1162. %A  A. P. Ravn
  1163. %P  129--158
  1164. %J  ACM Trans. on Programming Languages and Systems
  1165. %D  1984
  1166. %V  6
  1167.    
  1168. %T  Annotations to Control Parallelism and Reduction Order in the
  1169.     Distributed Evaluation of Functional Programsg
  1170. %A  F. Warren Burton
  1171. %P  159--174
  1172. %J  ACM Trans. on Programming Languages and Systems
  1173. %D  1984
  1174. %V  6
  1175.    
  1176. %T  Communicating Sequential Processes for Centralized and
  1177.     Distributed Operating System Designg
  1178. %A  M. Elizabeth C. Hull
  1179. %A  R. M. McKeag
  1180. %P  175--191
  1181. %J  ACM Trans. on Programming Languages and Systems
  1182. %D  1984
  1183. %V  6
  1184.    
  1185. %T  Global Data Flow Analysis Problems Arising in Locally
  1186.     Least-Cost Error Recoveryg
  1187. %A  Roland Backhouse
  1188. %P  192--214
  1189. %J  ACM Trans. on Programming Languages and Systems
  1190. %D  1984
  1191. %V  6
  1192.    
  1193. %T  Real-Time Synchronization of Interprocess Communications
  1194. %A  John H. Reif
  1195. %A  Paul G. Spirakis
  1196. %P  215--238
  1197. %J  ACM Trans. on Programming Languages and Systems
  1198. %D  1984
  1199. %V  6
  1200.    
  1201. %T  Proving Failure-Free Properties of Concurrent Systems Using
  1202.     Temporal Logicg
  1203. %A  Richard Alan Karp
  1204. %P  239--253
  1205. %J  ACM Trans. on Programming Languages and Systems
  1206. %D  1984
  1207. %V  6
  1208.    
  1209. %T  Using Time Instead of Timeout for Fault-Tolerant Distributed Systems
  1210. %A  Leslie Lamport
  1211. %P  254--280
  1212. %J  ACM Trans. on Programming Languages and Systems
  1213. %D  1984
  1214. %V  6
  1215.    
  1216. %T  The ``Hoare Logic'' of CSP, and All That
  1217. %A  Leslie Lamport
  1218. %A  Fred B. Schneider
  1219. %P  281--296
  1220. %J  ACM Trans. on Programming Languages and Systems
  1221. %D  1984
  1222. %V  6
  1223.    
  1224. %T  An APL Compiler for a Vector Processor
  1225. %A  Timothy A. Budd
  1226. %P  297--313
  1227. %J  ACM Trans. on Programming Languages and Systems
  1228. %D  1984
  1229. %V  6
  1230.    
  1231. %T  A Directly Executable Encoding for APL
  1232. %A  Richard F. Hobson
  1233. %P  314--332
  1234. %J  ACM Trans. on Programming Languages and Systems
  1235. %D  1984
  1236. %V  6
  1237.    
  1238. %T  Algorithms for On-the-fly Garbage Collection
  1239. %A  Mordechai Ben-Ari
  1240. %P  333--344
  1241. %J  ACM Trans. on Programming Languages and Systems
  1242. %D  1984
  1243. %V  6
  1244.    
  1245. %T  Translation of Attribute Grammars into Procedures
  1246. %A  Takuya Katayama
  1247. %P  345--369
  1248. %J  ACM Trans. on Programming Languages and Systems
  1249. %D  1984
  1250. %V  6
  1251.    
  1252. %T  Modeling the Distributed Termination Convention of CSP
  1253. %A  Krzysztof R. Apt
  1254. %A  Nissem Francez
  1255. %P  370--379
  1256. %J  ACM Trans. on Programming Languages and Systems
  1257. %D  1984
  1258. %V  6
  1259.    
  1260. %T  Distributed Algorithms for Finding Centers and Medians in Networks
  1261. %A  E. Korach
  1262. %A  D. Rotem
  1263. %A  N. Santoro
  1264. %P  380--401
  1265. %J  ACM Trans. on Programming Languages and Systems
  1266. %D  1984
  1267. %V  6
  1268.    
  1269. %T  Using Message Passing for Distributed Programming: Proof
  1270.     Rules and Disciplinesg
  1271. %A  Richard D. Schlichting
  1272. %A  Fred B. Schneider
  1273. %P  402--431
  1274. %J  ACM Trans. on Programming Languages and Systems
  1275. %D  1984
  1276. %V  6
  1277.    
  1278. %T  Unassigned Objects
  1279. %A  Robert I. Winner
  1280. %P  449--467
  1281. %J  ACM Trans. on Programming Languages and Systems
  1282. %D  1984
  1283. %V  6
  1284.    
  1285. %T  Magma2: A Language Oriented toward Experiments in Control
  1286. %A  Franco Turini
  1287. %P  468--486
  1288. %J  ACM Trans. on Programming Languages and Systems
  1289. %D  1984
  1290. %V  6
  1291.    
  1292. %T  The Promotion and Accumulation Strategies in Transformational
  1293.     Programmingg
  1294. %A  R. S. Bird
  1295. %P  487--504
  1296. %J  ACM Trans. on Programming Languages and Systems
  1297. %D  1984
  1298. %V  6
  1299.    
  1300. %T  Code Selection through Object Code Optimization
  1301. %A  Jack W. Davidson
  1302. %A  Christopher W. Fraser
  1303. %P  505--526
  1304. %J  ACM Trans. on Programming Languages and Systems
  1305. %D  1984
  1306. %V  6
  1307.    
  1308. %T  Jump Minimization in Linear Time
  1309. %A  M. V. S. Ramanath
  1310. %A  Marvin Solomon
  1311. %P  527--545
  1312. %J  ACM Trans. on Programming Languages and Systems
  1313. %D  1984
  1314. %V  6
  1315.    
  1316. %T  Optimization of Parser Tables for Portable Compilers
  1317. %A  Peter Dencker
  1318. %A  Karl D\urre
  1319. %A  Johannes Heuft
  1320. %P  546--572
  1321. %J  ACM Trans. on Programming Languages and Systems
  1322. %D  1984
  1323. %V  6
  1324.    
  1325. %T  Selective and Locally Controlled Transport of Privileges
  1326. %A  Naftaly H. Minsky
  1327. %P  573--602
  1328. %J  ACM Trans. on Programming Languages and Systems
  1329. %D  1984
  1330. %V  6
  1331.    
  1332. %T  Transformations and Reduction Strategies for Typed Lambda
  1333.     Expressionsg
  1334. %A  Michael Georgeff
  1335. %P  603--631
  1336. %J  ACM Trans. on Programming Languages and Systems
  1337. %D  1984
  1338. %V  6
  1339.    
  1340. %T  The Drinking Philosopher's Problem
  1341. %A  K. M. Chandy
  1342. %A  Jayadev Misra
  1343. %P  632--646
  1344. %J  ACM Trans. on Programming Languages and Systems
  1345. %D  1984
  1346. %V  6
  1347.    
  1348. %T  Axiomatic Semantics of Communicating Sequential Processes
  1349. %A  N. Soundararajan
  1350. %P  647--662
  1351. %J  ACM Trans. on Programming Languages and Systems
  1352. %D  1984
  1353. %V  6
  1354.    
  1355. %T  On Convergence Toward a Database of Program Transformations
  1356. %A  David Barstow
  1357. %P  1--9
  1358. %J  ACM Trans. on Programming Languages and Systems
  1359. %D  1985
  1360. %V  7
  1361.    
  1362. %T  A Distributed Alternative to Finite-State-Machine Specifications
  1363. %A  Pamela Zave
  1364. %P  10--36
  1365. %J  ACM Trans. on Programming Languages and Systems
  1366. %D  1985
  1367. %V  7
  1368.    
  1369. %T  Information-Flow and Data-Flow Analysis of while-Programs
  1370. %A  Jean-Francois Bergeretti
  1371. %A  Bernard A. Carr\'e
  1372. %P  37--61
  1373. %J  ACM Trans. on Programming Languages and Systems
  1374. %D  1985
  1375. %V  7
  1376.    
  1377. %T  Optimal Prepaging and Font Caching
  1378. %A  David R. Fuchs
  1379. %A  Donald E. Knuth
  1380. %P  62--79
  1381. %J  ACM Trans. on Programming Languages and Systems
  1382. %D  1985
  1383. %V  7
  1384.    
  1385. %T  Generative Communication in Linda
  1386. %A  David Gelernter
  1387. %P  80--112
  1388. %J  ACM Trans. on Programming Languages and Systems
  1389. %D  1985
  1390. %V  7
  1391.    
  1392. %T  Proofs as Programs
  1393. %A  Joseph L. Bates
  1394. %A  Robert L. Constable
  1395. %P  113--136
  1396. %J  ACM Trans. on Programming Languages and Systems
  1397. %D  1985
  1398. %V  7
  1399.    
  1400. %T  Generalizing Specifications for Uniformly Implemented Loops
  1401. %A  Douglas D. Dunlop
  1402. %A  Victor R. Basili
  1403. %P  137--158
  1404. %J  ACM Trans. on Programming Languages and Systems
  1405. %D  1985
  1406. %V  7
  1407.    
  1408. %T  A New Analysis of LALR Formalisms
  1409. %A  Joseph C. H. Park
  1410. %A  K. M. Choe
  1411. %A  C. H. Chang
  1412. %P  159--175
  1413. %J  ACM Trans. on Programming Languages and Systems
  1414. %D  1985
  1415. %V  7
  1416.    
  1417. %T  Towards Monolingual Programming Environments
  1418. %A  Jan Heering
  1419. %A  Paul Klint
  1420. %P  183--213
  1421. %J  ACM Trans. on Programming Languages and Systems
  1422. %D  1985
  1423. %V  7
  1424.    
  1425. %T  A Modular Verifiable Exception-Handling Mechanism
  1426. %A  Shaula Yemini
  1427. %A  Daniel M. Berry
  1428. %P  214--243
  1429. %J  ACM Trans. on Programming Languages and Systems
  1430. %D  1985
  1431. %V  7
  1432.    
  1433. %T  Implementation of Resilient, Atomic Data Types
  1434. %A  William Weihl
  1435. %A  Barbara Liskov
  1436. %P  244--269
  1437. %J  ACM Trans. on Programming Languages and Systems
  1438. %D  1985
  1439. %V  7
  1440.    
  1441. %T  Circal and the Representation of Communication, Concurrency
  1442.     and Timeg
  1443. %A  George J. Milne
  1444. %P  270--298
  1445. %J  ACM Trans. on Programming Languages and Systems
  1446. %D  1985
  1447. %V  7
  1448.    
  1449. %T  Detecting Global Variables in Denotational Specifications
  1450. %A  David A. Schmidt
  1451. %P  299-310
  1452. %J  ACM Trans. on Programming Languages and Systems
  1453. %D  1985
  1454. %V  7
  1455.    
  1456. %T  Efficient Demand-Driven Evaluation. Part 1
  1457. %A  Keshav Pingali
  1458. %A  Arvind
  1459. %P  311--333
  1460. %J  ACM Trans. on Programming Languages and Systems
  1461. %D  1985
  1462. %V  7
  1463.    
  1464. %T  Dealing with World-Model-Based Programs
  1465. %A  Giuseppina C. Gini
  1466. %A  Maria L. Gini
  1467. %P  334--347
  1468. %J  ACM Trans. on Programming Languages and Systems
  1469. %D  1985
  1470. %V  7
  1471.    
  1472. %T  Optimal Parallel Generation of a Computation Tree Form
  1473. %A  Ilan Bar-On
  1474. %A  Uzi Vishkin
  1475. %P  348--357
  1476. %J  ACM Trans. on Programming Languages and Systems
  1477. %D  1985
  1478. %V  7
  1479.    
  1480. %T  Program Transformations in a Denotational Setting
  1481. %A  Flemming Nielson
  1482. %P  359--379
  1483. %J  ACM Trans. on Programming Languages and Systems
  1484. %D  1985
  1485. %V  7
  1486.    
  1487. %T  Describing and Analyzing Distributed Software System Designs
  1488. %A  George S. Avrunin
  1489. %A  Jack C. Wileden
  1490. %P  380--403
  1491. %J  ACM Trans. on Programming Languages and Systems
  1492. %D  1985
  1493. %V  7
  1494.    
  1495. %T  Virtual Time
  1496. %A  David R. Jefferson
  1497. %P  404--425
  1498. %J  ACM Trans. on Programming Languages and Systems
  1499. %D  1985
  1500. %V  7
  1501.    
  1502. %T  Data Types Are Values
  1503. %A  James Donahue
  1504. %A  Alan Demers
  1505. %P  426--445
  1506. %J  ACM Trans. on Programming Languages and Systems
  1507. %D  1985
  1508. %V  7
  1509.    
  1510. %T  Program Abstraction and Instantiation
  1511. %A  Nachum Dershowitz
  1512. %P  446--477
  1513. %J  ACM Trans. on Programming Languages and Systems
  1514. %D  1985
  1515. %V  7
  1516.    
  1517. %T  Noncorrecting Syntax Error Recovery
  1518. %A  Helmut Richter
  1519. %P  478--489
  1520. %J  ACM Trans. on Programming Languages and Systems
  1521. %D  1985
  1522. %V  7
  1523.    
  1524. %T  Addendum to ``The Promotion and Accumulation Strategies in
  1525.     Transformational Programming''
  1526. %A  R. S. Bird
  1527. %P  490-492
  1528. %J  ACM Trans. on Programming Languages and Systems
  1529. %D  1985
  1530. %V  7
  1531.    
  1532. %T  Multilisp: A Language for Concurrent Symbolic Computation
  1533. %A  Halstead, Jr., Robert H.
  1534. %P  501--538
  1535. %J  ACM Trans. on Programming Languages and Systems
  1536. %D  1985
  1537. %V  7
  1538.    
  1539. %T  Procedures as Persistent Data Objects
  1540. %A  Malcolm P. Atkinson
  1541. %A  Ronald Morrison
  1542. %P  539--559
  1543. %J  ACM Trans. on Programming Languages and Systems
  1544. %D  1985
  1545. %V  7
  1546.    
  1547. %T  Affix Grammar Driven Code Generation
  1548. %A  Mahadevan Ganapathi
  1549. %A  Charles N. Fischer
  1550. %P  560--599
  1551. %J  ACM Trans. on Programming Languages and Systems
  1552. %D  1985
  1553. %V  7
  1554.    
  1555. %T  Editing by Example
  1556. %A  Robert P. Nix
  1557. %P  600--621
  1558. %J  ACM Trans. on Programming Languages and Systems
  1559. %D  1985
  1560. %V  7
  1561.    
  1562. %T  Symmetric Intertask Communication
  1563. %A  Nissim Francez
  1564. %A  Shaula A. Yemini
  1565. %P  622--636
  1566. %J  ACM Trans. on Programming Languages and Systems
  1567. %D  1985
  1568. %V  7
  1569.    
  1570. %T  Side Effects and Aliasing Can Have Simple Axiomatic Descriptions
  1571. %A  Hans-Juergen Boehm
  1572. %P  637--655
  1573. %J  ACM Trans. on Programming Languages and Systems
  1574. %D  1985
  1575. %V  7
  1576.    
  1577. %T  The Denotational Semantics of Dynamic Networks of Processes
  1578. %A  Arie de Bruin
  1579. %A  Wim B\ohm
  1580. %P  656--679
  1581. %J  ACM Trans. on Programming Languages and Systems
  1582. %D  1985
  1583. %V  7
  1584.    
  1585. %T  Parlog: Parallel Programming in Logic
  1586. %A  Keith Clark
  1587. %A  Steve Gregory
  1588. %P  1--49
  1589. %J  ACM Trans. on Programming Languages and Systems
  1590. %D  1986
  1591. %V  8
  1592.    
  1593. %T  A Formal Approach to Undo Operations in Programming Languages
  1594. %A  Leeman, Jr., George B.
  1595. %P  50--87
  1596. %J  ACM Trans. on Programming Languages and Systems
  1597. %D  1986
  1598. %V  8
  1599.    
  1600. %T  Applicative Caching
  1601. %A  Robert M. Keller
  1602. %A  M. Ronan Sleep
  1603. %P  88--108
  1604. %J  ACM Trans. on Programming Languages and Systems
  1605. %D  1986
  1606. %V  8
  1607.    
  1608. %T  Efficient Demand-Driven Evaluation. Part 2
  1609. %A  Keshav Pingali
  1610. %A  Arvind
  1611. %P  109--139
  1612. %J  ACM Trans. on Programming Languages and Systems
  1613. %D  1986
  1614. %V  8
  1615.    
  1616. %T  Clarification of ``Feeding Inputs on Demand'' in
  1617.     Efficient Demand-Driven Evaluation. Part 1g
  1618. %A  Keshav Pingali
  1619. %A  Arvind
  1620. %P  140--141
  1621. %J  ACM Trans. on Programming Languages and Systems
  1622. %D  1986
  1623. %V  8
  1624.    
  1625. %T  Axioms for Memory Access in Asynchronous Hardware Systems
  1626. %A  Jayadev Misra
  1627. %P  142--153
  1628. %J  ACM Trans. on Programming Languages and Systems
  1629. %D  1986
  1630. %V  8
  1631.    
  1632. %T  Proving Liveness for Networks of Communicating Finite State Machines
  1633. %A  Mohamed G. Gouda
  1634. %A  Chung-Kou Chang
  1635. %P  154--182
  1636. %J  ACM Trans. on Programming Languages and Systems
  1637. %D  1986
  1638. %V  8
  1639.    
  1640. %T  Toward Compiler Implementation Correctness Proofs
  1641. %A  Laurian M. Chirica
  1642. %A  David F. Martin
  1643. %P  185--214
  1644. %J  ACM Trans. on Programming Languages and Systems
  1645. %D  1986
  1646. %V  8
  1647.    
  1648. %T  The ML Approach to the Readable All-Purpose Language
  1649. %A  C. R. Spooner
  1650. %P  215--243
  1651. %J  ACM Trans. on Programming Languages and Systems
  1652. %D  1986
  1653. %V  8
  1654.    
  1655. %T  Automatic Verification of Finite-State Concurrent Systems
  1656.     Using Temporal Logic Specificationsg
  1657. %A  E. N. Clarke
  1658. %A  E. A. Emerson
  1659. %A  A. P. Sistla
  1660. %P  244--263
  1661. %J  ACM Trans. on Programming Languages and Systems
  1662. %D  1986
  1663. %V  8
  1664.    
  1665. %T  A Short Proof of a Conjecture of DeRemer and Pennello
  1666. %A  Thomas J. Sager
  1667. %P  264--271
  1668. %J  ACM Trans. on Programming Languages and Systems
  1669. %D  1986
  1670. %V  8
  1671.    
  1672. %T  Smart Recompilation
  1673. %A  Walter F. Tichy
  1674. %P  273--291
  1675. %J  ACM Trans. on Programming Languages and Systems
  1676. %D  1986
  1677. %V  8
  1678.    
  1679. %T  The Concept of a Supercompiler
  1680. %A  Valentin F. Turchin
  1681. %P  292--325
  1682. %J  ACM Trans. on Programming Languages and Systems
  1683. %D  1986
  1684. %V  8
  1685.    
  1686. %T  An Example of Stepwise Refinement of Distributed Programs:
  1687.     Quiescence Detectiong
  1688. %A  K. M. Chandy
  1689. %A  Jayadev Misra
  1690. %P  326--343
  1691. %J  ACM Trans. on Programming Languages and Systems
  1692. %D  1986
  1693. %V  8
  1694.    
  1695. %T  Proving Systolic Systems Correct
  1696. %A  Matthew Hennessy
  1697. %P  344--387
  1698. %J  ACM Trans. on Programming Languages and Systems
  1699. %D  1986
  1700. %V  8
  1701.    
  1702. %T  Correctness Proofs of Distributed Termination Algorithms
  1703. %A  Krzysztof R. Apt
  1704. %P  388--405
  1705. %J  ACM Trans. on Programming Languages and Systems
  1706. %D  1986
  1707. %V  8
  1708.    
  1709. %T  A Structural View of the Cedar Programming Environment
  1710. %A  Daniel Swinehart
  1711. %A  Polle Zellweger
  1712. %A  Richard Beach
  1713. %A  Robert Hagemann
  1714. %P  419--490
  1715. %J  ACM Trans. on Programming Languages and Systems
  1716. %D  1986
  1717. %V  8
  1718.    
  1719. %T  The Impact of Interprocedural Analysis and Optimization in
  1720.     the $\mboxI\!\mboxR^\mbox\footnotesize n$
  1721.     Programming Environmentg
  1722. %A  Keith D. Cooper
  1723. %A  Ken Kennedy
  1724. %A  Linda Torczon
  1725. %P  491--523
  1726. %J  ACM Trans. on Programming Languages and Systems
  1727. %D  1986
  1728. %V  8
  1729.    
  1730. %T  The PegaSys System: Pictures as Formal Documentation of
  1731.     Large Programsg
  1732. %A  Mark Moriconi
  1733. %A  Dwight Hare
  1734. %P  524--546
  1735. %J  ACM Trans. on Programming Languages and Systems
  1736. %D  1986
  1737. %V  8
  1738.    
  1739. %T  The PSG System: From Formal Language Definitions to
  1740.     Interactive Programming Environmentsg
  1741. %A  Rolf Bahlke
  1742. %A  Gregor Snelting
  1743. %P  547--576
  1744. %J  ACM Trans. on Programming Languages and Systems
  1745. %D  1986
  1746. %V  8
  1747.    
  1748. %T  Generating Editing Environments Based on Relations and Attributes
  1749. %A  Susan Horwitz
  1750. %A  Tim Teitelbaum
  1751. %P  577--608
  1752. %J  ACM Trans. on Programming Languages and Systems
  1753. %D  1986
  1754. %V  8
  1755.    
  1756. %T  Writing Larch Interface Language Specifications
  1757. %A  Jeannette M. Wing
  1758. %P  1--24
  1759. %J  ACM Trans. on Programming Languages and Systems
  1760. %D  1987
  1761. %V  9
  1762.    
  1763. %T  The Geometry of Semaphore Programs
  1764. %A  Scott D. Carson
  1765. %A  Reynolds, Jr., Paul F.
  1766. %P  25--53
  1767. %J  ACM Trans. on Programming Languages and Systems
  1768. %D  1987
  1769. %V  9
  1770.    
  1771. %T  On the Algebraic Definition of Programming Languages
  1772. %A  Manfred Broy
  1773. %A  Martin Wirsing
  1774. %A  Peter Pepper
  1775. %P  54--99
  1776. %J  ACM Trans. on Programming Languages and Systems
  1777. %D  1987
  1778. %V  9
  1779.    
  1780. %T  Soundness of Hoare's Logic: An Automated Proof Using LCF
  1781. %A  Stefan Soko\lowski
  1782. %P  100--120
  1783. %J  ACM Trans. on Programming Languages and Systems
  1784. %D  1987
  1785. %V  9
  1786.    
  1787. %T  Parsing and Compiling Using Prolog
  1788. %A  Jacques Cohen
  1789. %A  Timothy J. Hickey
  1790. %P  125--163
  1791. %J  ACM Trans. on Programming Languages and Systems
  1792. %D  1987
  1793. %V  9
  1794.    
  1795. %T  A Practical Method for LR and LL Syntactic Error Diagnosis
  1796. %A  Michael G. Burke
  1797. %A  Gerald A. Fisher
  1798. %P  164--197
  1799. %J  ACM Trans. on Programming Languages and Systems
  1800. %D  1987
  1801. %V  9
  1802.    
  1803. %T  Language Support for the Specification and Development of
  1804.     Composite Systemsg
  1805. %A  Martin S. Feather
  1806. %P  198--234
  1807. %J  ACM Trans. on Programming Languages and Systems
  1808. %D  1987
  1809. %V  9
  1810.    
  1811. %T  DIB -- A Distributed Implementation of Backtracking
  1812. %A  Raphael Finkel
  1813. %A  Udi Manber
  1814. %P  235--256
  1815. %J  ACM Trans. on Programming Languages and Systems
  1816. %D  1987
  1817. %V  9
  1818.    
  1819. %T  Retargetable Microcode Synthesis
  1820. %A  Robert A. Mueller
  1821. %A  Joseph Varghese
  1822. %P  257--276
  1823. %J  ACM Trans. on Programming Languages and Systems
  1824. %D  1987
  1825. %V  9
  1826.    
  1827. %T  An Editor for Revision Control
  1828. %A  Christopher W. Fraser
  1829. %A  Eugene W. Meyers
  1830. %P  277--295
  1831. %J  ACM Trans. on Programming Languages and Systems
  1832. %D  1987
  1833. %V  9
  1834.    
  1835. %T  IDL: Sharing Intermediate Representations
  1836. %A  David Alex Lamb
  1837. %P  297--318
  1838. %J  ACM Trans. on Programming Languages and Systems
  1839. %D  1987
  1840. %V  9
  1841.    
  1842. %T  The Program Dependence Graph and its Use in Optimization
  1843. %A  Jeanne Ferrante
  1844. %A  Karl J. Ottenstein
  1845. %A  Joe D. Warren
  1846. %P  319--349
  1847. %J  ACM Trans. on Programming Languages and Systems
  1848. %D  1987
  1849. %V  9
  1850.    
  1851. %T  The Multiway Rendezvous
  1852. %A  Arthur Charlesworth
  1853. %P  350--366
  1854. %J  ACM Trans. on Programming Languages and Systems
  1855. %D  1987
  1856. %V  9
  1857.    
  1858. %T  Data Descriptors: A Compile-Time Model of Data and Addressing
  1859. %A  R. C. Holt
  1860. %P  367--389
  1861. %J  ACM Trans. on Programming Languages and Systems
  1862. %D  1987
  1863. %V  9
  1864.    
  1865. %T  An Axiomatic Treatment of Exception Handling in an
  1866.     Expression-Oriented Languageg
  1867. %A  Shaula Yemini
  1868. %A  Daniel M. Berry
  1869. %P  390--407
  1870. %J  ACM Trans. on Programming Languages and Systems
  1871. %D  1987
  1872. %V  9
  1873.    
  1874. %T  Sublinear-Space Evaluation Algorithms for Attribute Grammars
  1875. %A  Thomas Reps
  1876. %A  Alan Demers
  1877. %P  408--440
  1878. %J  ACM Trans. on Programming Languages and Systems
  1879. %D  1987
  1880. %V  9
  1881.    
  1882. %T  A Methodology for Synthesis of Recursive Functional Programs
  1883. %A  Debasish Banerjee
  1884. %P  441--462
  1885. %J  ACM Trans. on Programming Languages and Systems
  1886. %D  1987
  1887. %V  9
  1888.    
  1889. %T  Graph Translation Schemes to Generate Compiler Parts
  1890. %A  Michael Sonnenschein
  1891. %P  473--490
  1892. %J  ACM Trans. on Programming Languages and Systems
  1893. %D  1987
  1894. %V  9
  1895.    
  1896. %T  Automatic Translation of Fortran Programs to Vector Form
  1897. %A  Randy Allen
  1898. %A  Ken Kennedy
  1899. %P  491--542
  1900. %J  ACM Trans. on Programming Languages and Systems
  1901. %D  1987
  1902. %V  9
  1903.    
  1904. %T  Efficient Algorithms for Automatic Construction and
  1905.     Compactification of Parsing Grammarsg
  1906. %A  D. J. Rosenkrantz
  1907. %A  H. B. Hunt
  1908. %P  543--566
  1909. %J  ACM Trans. on Programming Languages and Systems
  1910. %D  1987
  1911. %V  9
  1912.    
  1913. %T  A Generalized Iterative Construct and Its Semantics
  1914. %A  Ed Anson
  1915. %P  567--581
  1916. %J  ACM Trans. on Programming Languages and Systems
  1917. %D  1987
  1918. %V  9
  1919.    
  1920. %T  Embedding Continuations in Procedural Objects
  1921. %A  Christopher T. Haynes
  1922. %A  Daniel P. Friedman
  1923. %P  582--598
  1924. %J  ACM Trans. on Programming Languages and Systems
  1925. %D  1987
  1926. %V  9
  1927.    
  1928. %T  Conversion from Data-Driven to Synchronous Execution in Loop
  1929.     Programsg
  1930. %A  Janice E. Cuny
  1931. %A  Lawrence Snyder
  1932. %P  599--617
  1933. %J  ACM Trans. on Programming Languages and Systems
  1934. %D  1987
  1935. %V  9
  1936.    
  1937. %T  A Data-Driven Model for a Subset of Logic Programming
  1938. %A  Lubomir Bic
  1939. %A  Craig Lee
  1940. %P  618--645
  1941. %J  ACM Trans. on Programming Languages and Systems
  1942. %D  1987
  1943. %V  9
  1944.    
  1945. %T  Algorithmic Specifications: A Constructive Specification
  1946.     Method for Abstract Data Typesg
  1947. %A  Jacques Loeckx
  1948. %P  646--685
  1949. %J  ACM Trans. on Programming Languages and Systems
  1950. %D  1987
  1951. %V  9
  1952.    
  1953. %T  Incremental Data-Flow Analysis
  1954. %A  Barbara G. Ryder
  1955. %A  Marvin C. Paull
  1956. %P  1--50
  1957. %J  ACM Trans. on Programming Languages and Systems
  1958. %D  1988
  1959. %V  10
  1960.    
  1961. %T  An Overview of the SR Language and Implementation
  1962. %A  Gregory R. Andrews
  1963. %A  Ronald A. Olsson
  1964. %A  Michael Coffin
  1965. %A  Irving Elshoff
  1966. %A  Kelvin Nilsen
  1967. %A  Titus Purdin
  1968. %A  Gregg Townsend
  1969. %P  51--86
  1970. %J  ACM Trans. on Programming Languages and Systems
  1971. %D  1988
  1972. %V  10
  1973.    
  1974. %T  A Mathematical Approach to Nondeterminism in Data Types
  1975. %A  Wim H. Hesselink
  1976. %P  87--117
  1977. %J  ACM Trans. on Programming Languages and Systems
  1978. %D  1988
  1979. %V  10
  1980.    
  1981. %T  System Semantics: Principles, Applications, and Implementation
  1982. %A  Raymond T. Boute
  1983. %P  118--155
  1984. %J  ACM Trans. on Programming Languages and Systems
  1985. %D  1988
  1986. %V  10
  1987.    
  1988. %T  Specification and Verification of Liveness Properties of
  1989.     Cyclic, Concurrent Processesg
  1990. %A  Joylyn Reed
  1991. %A  Raymond T. Yeh
  1992. %P  156--177
  1993. %J  ACM Trans. on Programming Languages and Systems
  1994. %D  1988
  1995. %V  10
  1996.    
  1997. %T  A Note on the Drinking Philosophers Problem
  1998. %A  Sandra L. Murphy
  1999. %A  A. Udaya Shankar
  2000. %P  178--188
  2001. %J  ACM Trans. on Programming Languages and Systems
  2002. %D  1988
  2003. %V  10
  2004.    
  2005. %T  An Ada Package for Dimensional Analysis
  2006. %A  Paul N. Hilfinger
  2007. %P  189--203
  2008. %J  ACM Trans. on Programming Languages and Systems
  2009. %D  1988
  2010. %V  10
  2011.    
  2012. %T  Type Extensions
  2013. %A  Nicklaus Wirth
  2014. %P  204--214
  2015. %J  ACM Trans. on Programming Languages and Systems
  2016. %D  1988
  2017. %V  10
  2018.    
  2019. %T  Abstract Interaction Tools: A Language for User Interface
  2020.     Management Systemsg
  2021. %A  Jan van den Bos
  2022. %P  215--247
  2023. %J  ACM Trans. on Programming Languages and Systems
  2024. %D  1988
  2025. %V  10
  2026.    
  2027. %T  ACE: An Automatic Complexity Evaluator
  2028. %A  Daniel Le M\'etayer
  2029. %P  248--266
  2030. %J  ACM Trans. on Programming Languages and Systems
  2031. %D  1988
  2032. %V  10
  2033.    
  2034. %T  Control Predicates are Better than Dummy Variables for
  2035.     Reasoning about Program Controlg
  2036. %A  Leslie Lamport
  2037. %P  267--281
  2038. %J  ACM Trans. on Programming Languages and Systems
  2039. %D  1988
  2040. %V  10
  2041.    
  2042. %T  Efficient and Correct Execution of Parallel Programs that
  2043.     Share Memoryg
  2044. %A  Dennis Shasha
  2045. %A  Marc Snir
  2046. %P  282--312
  2047. %J  ACM Trans. on Programming Languages and Systems
  2048. %D  1988
  2049. %V  10
  2050.    
  2051. %T  Simple, Efficient Asynchronous Parallel Algorithms for Maximization
  2052. %A  Albert G. Greenberg
  2053. %A  Boris D. Lubachevsky
  2054. %A  Andrew M. Odlyzko
  2055. %P  313--337
  2056. %J  ACM Trans. on Programming Languages and Systems
  2057. %D  1988
  2058. %V  10
  2059.    
  2060. %T  On the (non-) Relationship between SLR(1) and NQLALR(1) Grammars
  2061. %A  Manuel E. Bermudez
  2062. %A  Karl M. Schimpf
  2063. %P  338--342
  2064. %J  ACM Trans. on Programming Languages and Systems
  2065. %D  1988
  2066. %V  10
  2067.    
  2068. %T  Efficient Incremental LR Parsing for Syntax-Directed Editors
  2069. %A  Pierpaolo Degano
  2070. %A  Stefano Mannucci
  2071. %A  Bruno Mojana
  2072. %P  345--373
  2073. %J  ACM Trans. on Programming Languages and Systems
  2074. %D  1988
  2075. %V  10
  2076.    
  2077. %T  Constrained Expressions: Toward Broad Applicability of
  2078.     Analysis Methods for Distributed Software Systemsg
  2079. %A  Laura K. Dillon
  2080. %A  George S. Avrunin
  2081. %A  Jack C. Wiledon
  2082. %P  374--402
  2083. %J  ACM Trans. on Programming Languages and Systems
  2084. %D  1988
  2085. %V  10
  2086.    
  2087. %T  The Specification Statement
  2088. %A  Carroll Morgan
  2089. %P  403--419
  2090. %J  ACM Trans. on Programming Languages and Systems
  2091. %D  1988
  2092. %V  10
  2093.    
  2094. %T  Fairness in Parallel Programs: The Transformational Approach
  2095. %A  Ernst-R\udiger Olderog
  2096. %A  Krzysztof R. Apt
  2097. %P  420--455
  2098. %J  ACM Trans. on Programming Languages and Systems
  2099. %D  1988
  2100. %V  10
  2101.    
  2102. %T  Determining the Extent of Lookahead in Syntactic Error Repair
  2103. %A  Jon Mauney
  2104. %A  Charles N. Fischer
  2105. %P  456--469
  2106. %J  ACM Trans. on Programming Languages and Systems
  2107. %D  1988
  2108. %V  10
  2109.    
  2110. %T  Abstract Types Have Existential Type
  2111. %A  John C. Mitchell
  2112. %A  Gordon D. Plotkin
  2113. %P  470--502
  2114. %J  ACM Trans. on Programming Languages and Systems
  2115. %D  1988
  2116. %V  10
  2117.    
  2118. %T  Distributed Cooperation with Action Systems
  2119. %A  R. J. R. Back
  2120. %A  R. Kurki-Suonio
  2121. %P  513--554
  2122. %J  ACM Trans. on Programming Languages and Systems
  2123. %D  1988
  2124. %V  10
  2125.    
  2126. %T  Analysis of Functional Programs to Detect Run-Time Garbage Cells
  2127. %A  Katsuro Inoue
  2128. %A  Hiroyuki Seki
  2129. %A  Hikaru Yagi
  2130. %P  555--578
  2131. %J  ACM Trans. on Programming Languages and Systems
  2132. %D  1988
  2133. %V  10
  2134.    
  2135. %T  Efficient Synchronization on Multiprocessors with Shared Memory
  2136. %A  Clyde P. Kruskal
  2137. %A  Larry Rudolph
  2138. %A  Marc Snir
  2139. %P  579--601
  2140. %J  ACM Trans. on Programming Languages and Systems
  2141. %D  1988
  2142. %V  10
  2143.    
  2144. %T  Director Strings as Combinators
  2145. %A  Richard Kennaway
  2146. %A  Ronan Sleep
  2147. %P  602--626
  2148. %J  ACM Trans. on Programming Languages and Systems
  2149. %D  1988
  2150. %V  10
  2151.    
  2152. %T  Smarter Recompilation
  2153. %A  Robert W. Schwanke
  2154. %A  Gail E. Kaiser
  2155. %P  627--632
  2156. %J  ACM Trans. on Programming Languages and Systems
  2157. %D  1988
  2158. %V  10
  2159.    
  2160. %T  Tichy's Response to R. W. Schwanke and G. E. Kaiser's
  2161.     ``Smarter Recompilation''g
  2162. %A  Walter F. Tichy
  2163. %P  633--634
  2164. %J  ACM Trans. on Programming Languages and Systems
  2165. %D  1988
  2166. %V  10
  2167.    
  2168. %T  A Solution to a Problem with Morel and Renvoise's
  2169.     ``Global Optimization by Suppression of Partial
  2170.     Redundancies''g
  2171. %A  Karl-Heinz Drechsler
  2172. %A  Manfred P. Stadel
  2173. %P  635--640
  2174. %J  ACM Trans. on Programming Languages and Systems
  2175. %D  1988
  2176. %V  10
  2177.    
  2178. %T  A Simple Interprocedural Register Allocation Algorithm and
  2179.     Its Effectiveness for Lispg
  2180. %A  Peter A. Steenkiste
  2181. %A  John L. Hennessy
  2182. %P  1--32
  2183. %J  ACM Trans. on Programming Languages and Systems
  2184. %D  1989
  2185. %V  11
  2186.    
  2187. %T  Row Replacement Algorithms for Screen Editors
  2188. %A  Eugene W. Myers
  2189. %A  Webb Miller
  2190. %P  33--56
  2191. %J  ACM Trans. on Programming Languages and Systems
  2192. %D  1989
  2193. %V  11
  2194.    
  2195. %T  Scheduling Expressions on a Pipelined Processor with a
  2196.     Maximal Delay of One Cycleg
  2197. %A  David Bernstein
  2198. %A  Izidor Gertner
  2199. %P  57--66
  2200. %J  ACM Trans. on Programming Languages and Systems
  2201. %D  1989
  2202. %V  11
  2203.    
  2204. %T  Type Representation of Objects by Functions
  2205. %A  J. Steensgaard-Madsen
  2206. %P  67--89
  2207. %J  ACM Trans. on Programming Languages and Systems
  2208. %D  1989
  2209. %V  11
  2210.    
  2211. %T  Distributed FIFO Allocation of Identical Resources Using
  2212.     Small Shared Spaceg
  2213. %A  Michael J. Fischer
  2214. %A  Nancy A. Lynch
  2215. %A  James E. Burns
  2216. %A  Allan Borodin
  2217. %P  90--114
  2218. %J  ACM Trans. on Programming Languages and Systems
  2219. %D  1989
  2220. %V  11
  2221.    
  2222. %T  Efficient Implementation of Lattice Operations
  2223. %A  Hassan A\\it-Kaci
  2224. %A  Robert Boyer
  2225. %A  Patrick Lincoln
  2226. %A  Roger Nasr
  2227. %P  115--146
  2228. %J  ACM Trans. on Programming Languages and Systems
  2229. %D  1989
  2230. %V  11
  2231.    
  2232. %T  Verifying Temporal Properties without Temporal Logic
  2233. %A  Bowen Alpern
  2234. %A  Fred B. Schneider
  2235. %P  147--167
  2236. %J  ACM Trans. on Programming Languages and Systems
  2237. %D  1989
  2238. %V  11
  2239.    
  2240. %T  Incremental Dynamic Semantics for Language-Based Programming
  2241.     Environmentsg
  2242. %A  Gail E. Kaiser
  2243. %P  169--193
  2244. %J  ACM Trans. on Programming Languages and Systems
  2245. %D  1989
  2246. %V  11
  2247.    
  2248. %T  Efficient High-Level Iteration with Accumulators
  2249. %A  Robert D. Cameron
  2250. %P  194--211
  2251. %J  ACM Trans. on Programming Languages and Systems
  2252. %D  1989
  2253. %V  11
  2254.    
  2255. %T  Designing Families of Data Types Using Exemplars
  2256. %A  Wilf R. LaLonde
  2257. %P  212--248
  2258. %J  ACM Trans. on Programming Languages and Systems
  2259. %D  1989
  2260. %V  11
  2261.    
  2262. %T  Local Atomicity Properties: Modular Concurrency Control for
  2263.     Abstract Data Typesg
  2264. %A  William E. Weihl
  2265. %P  249--283
  2266. %J  ACM Trans. on Programming Languages and Systems
  2267. %D  1989
  2268. %V  11
  2269.    
  2270. %T  ECCS and LIPS: Two Languages for OSI Systems
  2271.     Specification and Verificationg
  2272. %A  Vincenza Carchiolo
  2273. %A  Antonella Di Stefano
  2274. %A  Alberto Faro
  2275. %A  Giuseppe Pappalardo
  2276. %P  284--329
  2277. %J  ACM Trans. on Programming Languages and Systems
  2278. %D  1989
  2279. %V  11
  2280.    
  2281. %T  Uniform Self-Stabilizing Rings
  2282. %A  James E. Burns
  2283. %A  Jan Pachi
  2284. %P  330--344
  2285. %J  ACM Trans. on Programming Languages and Systems
  2286. %D  1989
  2287. %V  11
  2288.    
  2289. %T  Integrating Noninterfering Versions of Programs
  2290. %A  Susan Horwitz
  2291. %A  Jan Prins
  2292. %A  Thomas Reps
  2293. %P  345--387
  2294. %J  ACM Trans. on Programming Languages and Systems
  2295. %D  1989
  2296. %V  11
  2297.    
  2298. %T  Efficient Implementation of the First-Fit Strategy for Dynamic
  2299.     Storage Allocationg
  2300. %A  R. P. Brent
  2301. %P  388--403
  2302. %J  ACM Trans. on Programming Languages and Systems
  2303. %D  1989
  2304. %V  11
  2305.    
  2306. %T  On Lamport's Interprocessor Communication Model
  2307. %A  Frank D. Anger
  2308. %P  404--417
  2309. %J  ACM Trans. on Programming Languages and Systems
  2310. %D  1989
  2311. %V  11
  2312.    
  2313. %T  Static Inference of Modes and Data Dependencies in Logic Programs
  2314. %A  Saumya K. Debray
  2315. %P  418--450
  2316. %J  ACM Trans. on Programming Languages and Systems
  2317. %D  1989
  2318. %V  11
  2319.    
  2320. %T  Functional Computations in Logic Programs
  2321. %A  Saumya K. Debray
  2322. %A  David S. Warren
  2323. %P  451--481
  2324. %J  ACM Trans. on Programming Languages and Systems
  2325. %D  1989
  2326. %V  11
  2327.    
  2328. %T  Code Generation Using Tree Matching and Dynamic Programming
  2329. %A  Alfred V. Aho
  2330. %A  Mahadevan Ganapathi
  2331. %A  Steven W. K. Tjiang
  2332. %P  491--516
  2333. %J  ACM Trans. on Programming Languages and Systems
  2334. %D  1989
  2335. %V  11
  2336.    
  2337. %T  A Generalization of Dijkstra's Calculus
  2338. %A  Greg Nelson
  2339. %P  517--561
  2340. %J  ACM Trans. on Programming Languages and Systems
  2341. %D  1989
  2342. %V  11
  2343.    
  2344. %T  Concurrency in Heavily Loaded Neighborhood-Constrained Systems
  2345. %A  Valmir Barbosa
  2346. %A  Eli Gafni
  2347. %P  562--584
  2348. %J  ACM Trans. on Programming Languages and Systems
  2349. %D  1989
  2350. %V  11
  2351.    
  2352. %T  Synchronization of Asynchronous Processes in CSP
  2353. %A  Rajive Bagrodia
  2354. %P  585--597
  2355. %J  ACM Trans. on Programming Languages and Systems
  2356. %D  1989
  2357. %V  11
  2358.    
  2359. %T  I-Structures: Data Structures for Parallel Computing
  2360. %A  Arvind
  2361. %A  Rishiyur S. Nikhil
  2362. %A  Keshav K. Pingali
  2363. %P  598--632
  2364. %J  ACM Trans. on Programming Languages and Systems
  2365. %D  1989
  2366. %V  11
  2367.    
  2368. %T  On the Productivity of Recursive List Definitions
  2369. %A  Ben A. Sijtsma
  2370. %P  633--649
  2371. %J  ACM Trans. on Programming Languages and Systems
  2372. %D  1989
  2373. %V  11
  2374.    
  2375. %T  A Denotational Semantics for Prolog
  2376. %A  Tim Nicholson
  2377. %A  Norman Foo
  2378. %P  650--665
  2379. %J  ACM Trans. on Programming Languages and Systems
  2380. %D  1989
  2381. %V  11
  2382.    
  2383. %T  Some Comments on ``A Solution to a Problem with Morel and
  2384.     Renvoise's `Global Optimization by Suppression of
  2385.     Partial Redundancies'\,''g
  2386. %A  Arthur Sorkin
  2387. %P  666--668
  2388. %J  ACM Trans. on Programming Languages and Systems
  2389. %D  1989
  2390. %V  11
  2391.    
  2392. %T  A Mechanism for Environment Integration
  2393. %A  Geoffrey Clemm
  2394. %A  Leon Osterweil
  2395. %P  1--25
  2396. %J  ACM Trans. on Programming Languages and Systems
  2397. %D  1990
  2398. %V  12
  2399.    
  2400. %T  Interprocedural Slicing Using Dependence Graphs
  2401. %A  Susan Horwitz
  2402. %A  Thomas Reps
  2403. %A  David Binkley
  2404. %P  26--60
  2405. %J  ACM Trans. on Programming Languages and Systems
  2406. %D  1990
  2407. %V  12
  2408.    
  2409. %T  Production Trees: A Compact Representation of Parsed Programs
  2410. %A  Vance E. Waddle
  2411. %P  61--83
  2412. %J  ACM Trans. on Programming Languages and Systems
  2413. %D  1990
  2414. %V  12
  2415.    
  2416. %T  A Modular Technique for the Design of Efficient Distributed
  2417.     Leader Finding Algorithmsg
  2418. %A  E. Korach
  2419. %A  S. Kutten
  2420. %A  S. Moran
  2421. %P  84--101
  2422. %J  ACM Trans. on Programming Languages and Systems
  2423. %D  1990
  2424. %V  12
  2425.    
  2426. %T  A Distributed Deadlock Detection Algorithm for CSP-Like
  2427.     Communicationg
  2428. %A  Shing-Tsaan Huang
  2429. %P  102--122
  2430. %J  ACM Trans. on Programming Languages and Systems
  2431. %D  1990
  2432. %V  12
  2433.    
  2434. %T  A Correctness Proof for Combinator Reduction with Cycles
  2435. %A  William M. Farmer
  2436. %A  John D. Ramsdell
  2437. %A  Ronald J. Watro
  2438. %P  123--134
  2439. %J  ACM Trans. on Programming Languages and Systems
  2440. %D  1990
  2441. %V  12
  2442.    
  2443. %T  Type Extension Through Polymorphism
  2444. %A  F. Warren Burton
  2445. %P  135--138
  2446. %J  ACM Trans. on Programming Languages and Systems
  2447. %D  1990
  2448. %V  12
  2449.    
  2450. %T  On Iterative Constructs
  2451. %A  David L. Parnas
  2452. %P  139--141
  2453. %J  ACM Trans. on Programming Languages and Systems
  2454. %D  1990
  2455. %V  12
  2456.    
  2457. %T  Creating User Interfaces Using Programming by Example, Visual
  2458.     Programming, and Constraintsg
  2459. %A  Brad A. Myers
  2460. %P  143--177
  2461. %J  ACM Trans. on Programming Languages and Systems
  2462. %D  1990
  2463. %V  12
  2464.    
  2465. %T  Linguistic Support for Atomic Data Types
  2466. %A  William E. Weihl
  2467. %P  178--202
  2468. %J  ACM Trans. on Programming Languages and Systems
  2469. %D  1990
  2470. %V  12
  2471.    
  2472. %T  An Exercise in the Formal Derivation of Parallel Programs:
  2473.     Maximum Flows in Graphsg
  2474. %A  Edgar Knapp
  2475. %P  203--223
  2476. %J  ACM Trans. on Programming Languages and Systems
  2477. %D  1990
  2478. %V  12
  2479.    
  2480. %T  Search Direction by Goal Failure in Goal-Directed Programming
  2481. %A  Jared L. Darlington
  2482. %P  224--252
  2483. %J  ACM Trans. on Programming Languages and Systems
  2484. %D  1990
  2485. %V  12
  2486.    
  2487. %T  A Method for Specializing Logic Programs
  2488. %A  A. Bossi
  2489. %A  N. Cocco
  2490. %A  S. Dulli
  2491. %P  253--302
  2492. %J  ACM Trans. on Programming Languages and Systems
  2493. %D  1990
  2494. %V  12
  2495.    
  2496. %T  Adding Liveness Properties to Coupled Finite-State Machines
  2497. %A  S. Aggarwal
  2498. %A  C. Courcoubetis
  2499. %A  P. Wolper
  2500. %P  303--339
  2501. %J  ACM Trans. on Programming Languages and Systems
  2502. %D  1990
  2503. %V  12
  2504.    
  2505. %T  An Interval-Based Approach to Exhaustive and Incremental
  2506.     Interprocedural Data-Flow Analysisg
  2507. %A  Michael Burke
  2508. %P  341--395
  2509. %J  ACM Trans. on Programming Languages and Systems
  2510. %D  1990
  2511. %V  12
  2512.    
  2513. %T  \sl win\/ and \sl sin\/: Predicate Transformers for Concurrency
  2514. %A  Leslie Lamport
  2515. %P  396--428
  2516. %J  ACM Trans. on Programming Languages and Systems
  2517. %D  1990
  2518. %V  12
  2519.    
  2520. %T  Efficient Evaluation of Circular Attribute Grammars
  2521. %A  Larry G. Jones
  2522. %P  429--462
  2523. %J  ACM Trans. on Programming Languages and Systems
  2524. %D  1990
  2525. %V  12
  2526.    
  2527. %T  Linearizability: A Correctness Condition for Concurrent Objects
  2528. %A  Maurice P. Herlihy
  2529. %A  Jeannette M. Wing
  2530. %P  463--492
  2531. %J  ACM Trans. on Programming Languages and Systems
  2532. %D  1990
  2533. %V  12
  2534.    
  2535. %T  The Priority-Based Coloring Approach to Register Allocation
  2536. %A  Fred C. Chow
  2537. %A  John L. Hennessy
  2538. %P  501--536
  2539. %J  ACM Trans. on Programming Languages and Systems
  2540. %D  1990
  2541. %V  12
  2542.    
  2543. %T  Remote Evaluation
  2544. %A  James W. Stamos
  2545. %A  David K. Gifford
  2546. %P  537--565
  2547. %J  ACM Trans. on Programming Languages and Systems
  2548. %D  1990
  2549. %V  12
  2550.    
  2551. %T  An Approach to Support Automatic Generation of User Interfaces
  2552. %A  Prasun Dewan
  2553. %A  Marvin Solomon
  2554. %P  566--609
  2555. %J  ACM Trans. on Programming Languages and Systems
  2556. %D  1990
  2557. %V  12
  2558.    
  2559. %T  On Kilbury's Modification of Earley's Algorithm
  2560. %A  Hans Leiss
  2561. %P  610--640
  2562. %J  ACM Trans. on Programming Languages and Systems
  2563. %D  1990
  2564. %V  12
  2565.    
  2566. %T  Using Symbolic Execution for Verification of Ada Tasking Programs
  2567. %A  Laura K. Dillon
  2568. %P  643--669
  2569. %J  ACM Trans. on Programming Languages and Systems
  2570. %D  1990
  2571. %V  12
  2572.    
  2573. %T  A Comparative Evaluation of Object Definition Techniques
  2574. %A  Jack C. Wileden
  2575. %A  Lori A. Clarke
  2576. %A  Alexander L. Wolf
  2577. %P  670--699
  2578. %J  ACM Trans. on Programming Languages and Systems
  2579. %D  1990
  2580. %V  12
  2581.    
  2582. %T  Linking Programs Incrementally
  2583. %A  Russell W. Quong
  2584. %A  Mark A. Linton
  2585. %P  1--20
  2586. %J  ACM Trans. on Programming Languages and Systems
  2587. %D  1991
  2588. %V  13
  2589.    
  2590. %T  Compilation of Functional Languages by Program Transformation
  2591. %A  Pascal Fradet
  2592. %A  Daniel Le M\'etayer
  2593. %P  21--51
  2594. %J  ACM Trans. on Programming Languages and Systems
  2595. %D  1991
  2596. %V  13
  2597.    
  2598. %T  Automatic Transformation of Series Expressions into Loops
  2599. %A  Richard C. Waters
  2600. %P  52--98
  2601. %J  ACM Trans. on Programming Languages and Systems
  2602. %D  1991
  2603. %V  13
  2604.    
  2605. %T  The Concurrent Language, Shared Prolog
  2606. %A  Antonio Brogi
  2607. %A  Paolo Ciancarini
  2608. %P  99--123
  2609. %J  ACM Trans. on Programming Languages and Systems
  2610. %D  1991
  2611. %V  13
  2612.    
  2613. %T  Wait-Free Synchronization
  2614. %A  Maurice Herlihy
  2615. %P  124--149
  2616. %J  ACM Trans. on Programming Languages and Systems
  2617. %D  1991
  2618. %V  13
  2619.    
  2620. %T  Efficient Construction of LR$(k)$ States and Tables
  2621. %A  M. Ancona
  2622. %A  G. Dodero
  2623. %A  V. Gianuzzi
  2624. %A  M. Morgavi
  2625. %P  150--178
  2626. %J  ACM Trans. on Programming Languages and Systems
  2627. %D  1991
  2628. %V  13
  2629.    
  2630. %T  Constant Propagation with Conditional Branches
  2631. %A  Mark N. Wegman
  2632. %A  F. Kenneth Zadeck
  2633. %P  181--210
  2634. %J  ACM Trans. on Programming Languages and Systems
  2635. %D  1991
  2636. %V  13
  2637.    
  2638. %T  INC: A Language for Incremental Computations
  2639. %A  Daniel M. Yellin
  2640. %A  Robert E. Strom
  2641. %P  211--236
  2642. %J  ACM Trans. on Programming Languages and Systems
  2643. %D  1991
  2644. %V  13
  2645.    
  2646. %T  Dynamic Typing in a Statically Typed Language
  2647. %A  Martin Abadi
  2648. %A  Luca Cardelli
  2649. %A  Benjamin Pierce
  2650. %A  Gordon Plotkin
  2651. %P  237--268
  2652. %J  ACM Trans. on Programming Languages and Systems
  2653. %D  1991
  2654. %V  13
  2655.    
  2656. %T  Collecting Interpretations of Expressions
  2657. %A  Paul Hudak
  2658. %A  Jonathan Young
  2659. %P  269--290
  2660. %J  ACM Trans. on Programming Languages and Systems
  2661. %D  1991
  2662. %V  13
  2663.    
  2664. %T  Practical Adaptation of the Global Optimization Algorithm of
  2665.     Morel and Renvoiseg
  2666. %A  D. M. Dhamdhere
  2667. %P  291--294
  2668. %J  ACM Trans. on Programming Languages and Systems
  2669. %D  1991
  2670. %V  13
  2671.    
  2672. %T  Table Compression for Tree Automata
  2673. %A  J\urgen B\orstler
  2674. %A  Ulrich M\oncke
  2675. %A  Reinhard Wilhelm
  2676. %P  295--314
  2677. %J  ACM Trans. on Programming Languages and Systems
  2678. %D  1991
  2679. %V  13
  2680.    
  2681. %T  Incremental Attribute Evaluation: A Flexible Algorithm for
  2682.     Lazy Updateg
  2683. %A  Scott E. Hudson
  2684. %P  315--341
  2685. %J  ACM Trans. on Programming Languages and Systems
  2686. %D  1991
  2687. %V  13
  2688.    
  2689. %T  An Ad Hoc Approach to the Implementation of Polymorphism
  2690. %A  R. Morrison
  2691. %A  A. Dearle
  2692. %A  R. C. H. Conner
  2693. %A  A. L. Brown
  2694. %P  342--371
  2695. %J  ACM Trans. on Programming Languages and Systems
  2696. %D  1991
  2697. %V  13
  2698.    
  2699. %T  An Improved Storage Management Scheme for Block Structured Languages
  2700. %A  Thomas P. Murtagh
  2701. %P  372--398
  2702. %J  ACM Trans. on Programming Languages and Systems
  2703. %D  1991
  2704. %V  13
  2705.    
  2706. %T  Data Flow Analysis of Communicating Finite State Machines
  2707. %A  Wuxu Peng
  2708. %A  S. Purushothaman
  2709. %P  399--442
  2710. %J  ACM Trans. on Programming Languages and Systems
  2711. %D  1991
  2712. %V  13
  2713.    
  2714. %T  Efficiently Computing Static Single Assignment Form and the
  2715.     Control Dependence Graphg
  2716. %A  Ron Cytron
  2717. %A  Jeanne Ferrante
  2718. %A  Barry K. Rosen
  2719. %A  Mark N. Wegman
  2720. %A  F. Kenneth Zadeck
  2721. %P  451--490
  2722. %J  ACM Trans. on Programming Languages and Systems
  2723. %D  1991
  2724. %V  13
  2725.    
  2726. %T  Techniques for Debugging Parallel Programs with Flowback Analysis
  2727. %A  Jong-Deok Choi
  2728. %A  Barton P. Miller
  2729. %A  Robert H. B. Netzer
  2730. %P  491--530
  2731. %J  ACM Trans. on Programming Languages and Systems
  2732. %D  1991
  2733. %V  13
  2734.    
  2735. %T  Automatic Generation and Use of Abstract Structure Operators
  2736. %A  Tim Sheard
  2737. %P  531--557
  2738. %J  ACM Trans. on Programming Languages and Systems
  2739. %D  1991
  2740. %V  13
  2741.    
  2742. %T  A First-Come-First-Served Mutual-Exclusion Algorithm with
  2743.     Small Communication Variablesg
  2744. %A  Edward A. Lycklama
  2745. %A  Vassos Hadzilacos
  2746. %P  558--576
  2747. %J  ACM Trans. on Programming Languages and Systems
  2748. %D  1991
  2749. %V  13
  2750.    
  2751. %T  A Fully Abstract Semantics for a First-Order Functional
  2752.     Language with Logic Variablesg
  2753. %A  Radha Jagadeesan
  2754. %A  Keshav Pingali
  2755. %A  Prakash Panangaden
  2756. %P  577--625
  2757. %J  ACM Trans. on Programming Languages and Systems
  2758. %D  1991
  2759. %V  13
  2760.    
  2761. %T  Type-Extension Type Tests Can Be Performed In Constant Time
  2762. %A  Norman H. Cohen
  2763. %P  626--629
  2764. %J  ACM Trans. on Programming Languages and Systems
  2765. %D  1991
  2766. %V  13
  2767.    
  2768. %T  Reply to ``Type-Extension Tests Can Be Performed In
  2769.     Constant Time''g
  2770. %A  Nicklaus Wirth
  2771. %P  630
  2772. %J  ACM Trans. on Programming Languages and Systems
  2773. %D  1991
  2774. %V  13
  2775.    
  2776. %T  Subtypes and Quantification
  2777. %A  Dennis M. Volpano
  2778. %P  631--632
  2779. %J  ACM Trans. on Programming Languages and Systems
  2780. %D  1991
  2781. %V  13
  2782.    
  2783. %T  Reply to ``Subtypes and Quantification''
  2784. %A  F. Warren Burton
  2785. %P  633
  2786. %J  ACM Trans. on Programming Languages and Systems
  2787. %D  1991
  2788. %V  13
  2789.    
  2790. %T  An Adaptive Tenuring Policy for Generation Scavengers
  2791. %A  David Ungar
  2792. %A  Frank Jackson
  2793. %P  1--27
  2794. %J  ACM Trans. on Programming Languages and Systems
  2795. %D  1992
  2796. %V  14
  2797.    
  2798. %T  Epochs
  2799. %A  Jon A. Solworth
  2800. %P  28--53
  2801. %J  ACM Trans. on Programming Languages and Systems
  2802. %D  1992
  2803. %V  14
  2804.    
  2805. %T  Computer-Assisted Microanalysis of Parallel Programs
  2806. %A  Timothy J. Hickey
  2807. %A  Jacques Cohen
  2808. %A  Hitofumi Hotta
  2809. %A  Thierry PetitJean
  2810. %P  54--106
  2811. %J  ACM Trans. on Programming Languages and Systems
  2812. %D  1992
  2813. %V  14
  2814.    
  2815. %T  Denotational Semantics of a Goal-Directed Language
  2816. %A  David A. Gudeman
  2817. %P  107--125
  2818. %J  ACM Trans. on Programming Languages and Systems
  2819. %D  1992
  2820. %V  14
  2821.    
  2822. %T  The Euclidian Definition of the Functions div and mod
  2823. %A  Raymond T. Boute
  2824. %P  127--144
  2825. %J  ACM Trans. on Programming Languages and Systems
  2826. %D  1992
  2827. %V  14
  2828.    
  2829. %T  A Self-Applicable Partial Evaluator for the Lambda Calculus:
  2830.     Correctness and Pragmaticsg
  2831. %A  Carsten K. Gomard
  2832. %P  147--172
  2833. %J  ACM Trans. on Programming Languages and Systems
  2834. %D  1992
  2835. %V  14
  2836.    
  2837. %T  Incremental Global Reoptimization of Programs
  2838. %A  Lori L. Pollock
  2839. %A  Mary Lou Soffa
  2840. %P  173--200
  2841. %J  ACM Trans. on Programming Languages and Systems
  2842. %D  1992
  2843. %V  14
  2844.    
  2845. %T  An Object-Based Programming Model for Shared Data
  2846. %A  Gail E. Kaiser
  2847. %A  Brent Hailpern
  2848. %P  201--264
  2849. %J  ACM Trans. on Programming Languages and Systems
  2850. %D  1992
  2851. %V  14
  2852.    
  2853. %T  Cache Behavior of Combinator Graph Reduction
  2854. %A  Koopman, Jr., Philip J.
  2855. %A  Peter Lee
  2856. %A  Daniel P. Siewiorek
  2857. %P  265--297
  2858. %J  ACM Trans. on Programming Languages and Systems
  2859. %D  1992
  2860. %V  14
  2861.